942 search results - page 92 / 189 » From System Comprehension to Program Comprehension |
DEBS
2010
ACM
14 years 22 days ago
2010
ACM
Publish/subscribe systems are used increasingly often as a communication mechanism in loosely-coupled distributed applications. With their gradual adoption in mission critical are...
CSFW
2005
IEEE
14 years 2 months 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...
IPPS
2002
IEEE
14 years 1 months ago
2002
IEEE
Failure behavior analysis is a very important phase in developing large distributed embedded systems with weak safety requirements which do graceful degradation in case of failure...
ICCAD
1995
IEEE
14 years 11 days ago
1995
IEEE
A key aspect of the synthesis of embedded systems is the automatic integration of system components. This entails the derivation of both the hardware and software interfaces that ...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In recent years, extensive research has been conducted in the area of Service Level Agreement (SLA) for utility computing systems. An SLA is a formal contract used to guarantee th...