2638 search results - page 524 / 528 » Frameworks for Reasoning about Agent Based Systems |
127
click to vote
SAC
2010
ACM
14 years 11 months ago
2010
ACM
Verification conditions (VCs) are logical formulae whose validity implies the correctness of a program with respect to a specification. The technique of checking software properti...
107
click to vote
ICNP
2000
IEEE
15 years 6 months ago
2000
IEEE
In order to detect violations of end-to-end service level agreements (SLA) and to isolate trouble links and nodes based on a unified framework, managers of a service provider net...
136
click to vote
CCE
2007
15 years 1 months ago
2007
This paper presents a systematic approach based on robust statistical techniques for development of a data-driven soft sensor, which is an important component of the process analy...
160
click to vote
AMAI
1999
Springer
15 years 1 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
107
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...