Sciweavers

17082 search results - page 230 / 3417
» Abstractions for Mobile Computation
Sort
View
CORR
2010
Springer
87views Education» more  CORR 2010»
13 years 10 months ago
Publishing and Discovery of Mobile Web Services in Peer to Peer Networks
: It is now feasible to host Web Services on a mobile device due to the advances in cellular devices and mobile communication technologies. However, the reliability, usability and ...
Satish Narayana Srirama
TMC
2011
187views more  TMC 2011»
13 years 5 months ago
Mobility Tracking Based on Autoregressive Models
We propose an integrated scheme for tracking the mobility of a user based on autoregressive models that accurately capture the characteristics of realistic user movements in wirel...
Zainab R. Zaidi, Brian L. Mark
ICSE
2009
IEEE-ACM
14 years 11 months ago
Validation of contracts using enabledness preserving finite state abstractions
ess Preserving Finite State Abstractions Guido de Caso V?ctor Braberman Diego Garbervetsky Sebasti?n Uchitel Departamento de Computaci?n, FCEyN, UBA. Buenos Aires, Argentina Depa...
Diego Garbervetsky, Guido de Caso, Sebastiá...
LATIN
2000
Springer
14 years 2 months ago
Equivalent Conditions for Regularity (Extended Abstract)
d abstract) Book section (Refereed) Original citation: Originally published in Gonnet, G; Panario D; Viola, A, LATIN 2000: theoretical informatics. Lecture notes in computer scienc...
Yoshiharu Kohayakawa, Vojtech Rödl, Jozef Sko...
QEST
2008
IEEE
14 years 5 months ago
Symbolic Magnifying Lens Abstraction in Markov Decision Processes
Magnifying Lens Abstraction in Markov Decision Processes ∗ Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA ...
Pritam Roy, David Parker, Gethin Norman, Luca de A...