285 search results - page 57 / 57 » Dynamic Symbolic Execution for Testing Distributed Objects |
OOPSLA
2004
Springer
13 years 11 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
This paper focuses on a framework for representing a team plan and its projections on individual agents. The team plan is represented with a coloured Petri net. Using the implicit...
JNSM
2002
13 years 5 months ago
2002
Realizing high volume of data transmission in real time communication in a highly dynamic architecture like Mobile Ad hoc Networks (MANET) still remains a major point of research....
MOBISYS
2011
ACM
12 years 8 months ago
2011
ACM
Resource constrained mobile devices need to leverage computation on nearby servers to run responsive applications that recognize objects, people, or gestures from real-time video....
ICMI
2004
Springer
13 years 11 months ago
2004
Springer
We present a video demonstration of an agent-based test bed application for ongoing research into multi-user, multimodal, computer-assisted meetings. The system tracks a two perso...