246 search results - page 49 / 50 » A Proof System for Asynchronously Communicating Deterministi... |
103
click to vote
COOPIS
2002
IEEE
15 years 4 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 ...
112
click to vote
ICDCN
2009
Springer
15 years 6 months 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, ...
118
Voted
ANCS
2006
ACM
15 years 5 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
15 years 1 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 ...
138
click to vote
MOBISYS
2009
ACM
16 years 4 days 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...