Sciweavers

17082 search results - page 221 / 3417
» Abstractions for Mobile Computation
Sort
View
FOCS
1990
IEEE
14 years 2 months ago
Coin-Flipping Games Immune against Linear-Sized Coalitions (Extended Abstract)
d abstract) Noga Alon IBM Almaden Research Center, San Jose, CA 95120 and Sackler Faculty of Exact Sciences, Tel Aviv University, Tel Aviv, Israel Moni Naor IBM Almaden Research Ce...
Noga Alon, Moni Naor
PODC
1991
ACM
14 years 1 months ago
Randomized Wait-Free Concurrent Objects (Extended Abstract)
d abstract) Maurice Herlihy Digital Equipment Corporation Cambridge Research Laboratory One Kendall Square Cambridge MA, 02139 Digital Equipment Corporation Cambridge Research Lab ...
Maurice Herlihy
SAS
2010
Springer
159views Formal Methods» more  SAS 2010»
13 years 8 months ago
Automatic Abstraction for Intervals Using Boolean Formulae
c Abstraction for Intervals Using Boolean Formulae J¨org Brauer1 and Andy King2 1 Embedded Software Laboratory, RWTH Aachen University, Germany 2 Portcullis Computer Security, Pin...
Jörg Brauer, Andy King
MDM
2005
Springer
147views Communications» more  MDM 2005»
14 years 3 months ago
Demo: mobile database administrator-MDBA
Increasingly advances in mobile computing are allowing development of the applications for ubiquitous computing environment. Ubiquitous computing represents the concepts of comput...
Fernando Siqueira, Angelo Brayner
DLT
2006
13 years 11 months ago
Can Abstract State Machines Be Useful in Language Theory?
ract State Machines Be Useful in Language Theory? Yuri Gurevich a Margus Veanes a Charles Wallace b aMicrosoft Research, Redmond, Washington, USA bMichigan Tech, Houghton, Michigan...
Yuri Gurevich, Charles Wallace