246 search results - page 49 / 50 » A Proof System for Asynchronously Communicating Deterministi... |
COOPIS
2002
IEEE
13 years 10 months ago
2002
IEEE
Mobile agents are autonomous programs that migrate from one machine to another within a network on behalf of a client, thus, they are ideal for mobile computing environments since ...
ICDCN
2009
Springer
14 years 7 days ago
2009
Springer
Given a set of robots with arbitrary initial location and no agreement on a global coordinate system, convergence requires that all robots asymptotically approach the exact same, ...
ANCS
2006
ACM
13 years 11 months ago
2006
ACM
Modern deep packet inspection systems use regular expressions to define various patterns of interest in network data streams. Deterministic Finite Automata (DFA) are commonly used...
DICS
2006
13 years 7 months ago
2006
Achieving software reliability takes many complementary techniques, directed at the process or at the products. This survey summarizes some of the most fruitful ideas. 1 OVERVIEW ...
MOBISYS
2009
ACM
14 years 6 months ago
2009
ACM
Top end mobile phones include a number of specialized (e.g., accelerometer, compass, GPS) and general purpose sensors (e.g., microphone, camera) that enable new people-centric sen...