2500 search results - page 148 / 500 » Specifying Behavior in C |
117
Voted
CLIMA
2007
15 years 4 months ago
2007
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...
127
Voted
DAIS
2007
15 years 4 months ago
2007
Context-aware applications use and manipulate context information to detect high-level situations, which are used to adapt application behavior. This paper discusses the specificat...
151
Voted
SPLC
2008
15 years 4 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
130
click to vote
AKA
2004
15 years 4 months ago
2004
: The transaction concept enables the efficient development of concurrent and fault tolerant applications. Transaction services are therefore an essential part of modern component ...
133
click to vote
FLAIRS
2001
15 years 4 months ago
2001
In this paper, we argue that KBS validation should not be limited to testing functional properties of the system, such as its input - output behavior, but must also address its dy...