8132 search results - page 1226 / 1627 » Dependability, Abstraction, and Programming |
170
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We address the problem of runtime monitoring for hard realtime programs—a domain in which correctness is critical yet has largely been overlooked in the runtime monitor...
204
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
212
click to vote
VAMOS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract—Today, software product line engineering concentrates on tailoring the functionality of programs. However, we and others observed an increasing interest in non-functiona...
183
click to vote
COORDINATION
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed parti...
242
click to vote
IEEECIT
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Nowadays, novel applications, such as personalized e-commerce services, call for cooperation across enterprise boundaries. Service-Oriented-Architecture (SOA) forms a sol...