2123 search results - page 224 / 425 » Composition of Cyber-Physical Systems |
170
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
220
click to vote
DATE
2007
IEEE
16 years 29 days ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
179
click to vote
CSFW
2005
IEEE
16 years 7 days ago
2005
IEEE
We present the first cryptographically sound Dolev-Yaostyle security proof of a comprehensive electronic payment system. The payment system is a slightly simplified variant of t...
134
click to vote
EDO
2005
Springer
16 years 4 days ago
2005
Springer
Publish/subscribe research has so far been mostly focused on efficient event routing, event filtering, and composite event detection. The little research that has been published ...
180
click to vote
UPP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...