372 search results - page 36 / 75 » From Data to Events: Checking Properties on the Control of a... |
SCAM
2008
IEEE
14 years 3 months ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
IPSN
2007
Springer
14 years 2 months ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
IWDC
2005
Springer
14 years 2 months ago
2005
Springer
Peer-to-peer systems and applications are distributed systems without any centralized control. P2P systems form the basis of several applications, such as file sharing systems and ...
JNW
2006
13 years 8 months ago
2006
-- Peer-to-peer systems and applications are distributed systems without any centralized control. P2P systems form the basis of several applications, such as file sharing systems a...
IHIS
2005
ACM
14 years 2 months ago
2005
ACM
The goal of this work is to contribute to the field of interoperability of Workflow models. To achieve this interoperability, we have built a generic architecture that s three lev...