Understanding Human Mobility Due to Large-Scale Events
A Symbolic Model Checking Appproach to Verifying Transact-SQL
Validating SQL Code Using Symbolic Model Checking
A Characterization of Broadband User Behavior and Their E-Business Activities
Caracterização do Serviço de Taxi a partir de Corridas Solicitadas por um Aplicativo de Smartphone
Using SMS to Transfer Small Data Packets During Periods Of High Workloads on Mobile Data Networks
Jussara Marques de Almeida
Artur Ziviani
L. M. SILVEIRA
C. H. S. Malab
F. H. Z. Xavier
Dorgival Olavo Guedes Neto