554 search results - page 77 / 111 » Modeling and Reasoning about Service Behaviors and Their Com... |
134
Voted
SCP
2010
15 years 10 days ago
2010
Constraint automata have been introduced to provide a compositional, operational semantics for the exogenous coordination language Reo, but they can also serve interface specifica...
125
click to vote
IEE
2008
15 years 2 months ago
2008
ion techniques are indispensable for the specification and verification of functional behavior of programs. In object-oriented ation languages like JML, a powerful abstraction tec...
100
click to vote
PRIMA
2009
Springer
15 years 8 months ago
2009
Springer
Human performance can seriously degrade under demanding tasks. To improve performance, agents can reason about the current state of the human, and give the most appropriate and eff...
118
click to vote
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
124
click to vote
ICDCS
2009
IEEE
15 years 11 months ago
2009
IEEE
With the growing complexity in computer systems, it has been a real challenge to detect and diagnose problems in today’s large-scale distributed systems. Usually, the correlatio...