1042 search results - page 201 / 209 » Synthesis of Software Programs for Embedded Control Applicat... |
MOBISYS
2003
ACM
14 years 7 months ago
2003
ACM
This paper introduces adaptation-aware editing and progressive update propagation, two novel mechanisms that enable authoring multimedia content and collaborative work on mobile d...
CBMS
2007
IEEE
14 years 2 months ago
2007
IEEE
One of the most considerable functions in a hospital's infection control program is the surveillance of antibiotic resistance. Several traditional methods used to measure it ...
HICSS
2003
IEEE
14 years 29 days ago
2003
IEEE
We have built a system for protecting Internet services to securely connected, known users. It implements a generate-and-test approach for on-line attack identification and uses s...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Today's wireless sensor networks have limited flexibility because their software is static. Mobile agents alleviate this problem by introducing mobile code and state. Mobile ...
SPIN
2010
Springer
13 years 6 months ago
2010
Springer
Pushdown systems provide a natural model of software with recursive procedure calls. We provide a tool implementing an algorithm for computing the winning regions of a pushdown par...