338 search results - page 29 / 68 » The design and implementation of formal monitoring technique... |
CONEXT
2005
ACM
13 years 9 months ago
2005
ACM
We present the design and implementation of the Janus1 architecture for providing flexible and lightweight access to sensor network resources from Internet-type networks. Janus p...
USENIX
2001
13 years 9 months ago
2001
We present a pragmatic methodology for designing nonblocking real-time systems. Our methodology uses a combination of lock-free and wait-free synchronization techniques and clearl...
TAP
2008
Springer
13 years 7 months ago
2008
Springer
Formal methods can only gain widespread use in industrial software development if they are integrated into software development techniques, tools, and languages used in practice. A...
IPSN
2007
Springer
14 years 1 months ago
2007
Springer
— Existing sensor network architectures are based on the assumption that data will be polled. Therefore, they are not adequate for long-term battery-powered use in applications t...
MICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...