907 search results - page 104 / 182 » Monitoring of Real-Time Properties |
BPSC
2010
13 years 7 months ago
2010
: Advanced business processes are mostly distributed and require highly flexible management capabilities. In such scenarios, process parts often leave their initiator’s direct sp...
RAID
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Software flaws in applications such as a browser may be exploited by attackers to launch drive-by-download (DBD), which has become the major vector of malware infection....
SDM
2012
SIAM
11 years 10 months ago
2012
SIAM
A Cyber-Physical System (CPS) integrates physical (i.e., sensor) devices with cyber (i.e., informational) components to form a situation-aware system that responds intelligently t...
DLS
2009
13 years 6 months ago
2009
Behavioral software contracts express properties concerning the flow of values across component (modules, classes, etc) interfaces. These properties are often beyond the reach of ...
CHI
2002
ACM
14 years 8 months ago
2002
ACM
A prototype device is described that allows a user to understand and contemplate the inner workings of a common home appliance, the refrigerator. The device monitors select physic...