6608 search results - page 246 / 1322 » On the Completeness of Model Checking |
125
click to vote
PPDP
2010
Springer
15 years 4 months ago
2010
Springer
Common record systems only provide access to individual record fields. However, it is often useful to have generic record combinators, that is, functions that work with complete ...
185
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in BPEL and communicate through asynchronous XML message...
153
click to vote
CEEMAS
2005
Springer
15 years 11 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
186
click to vote
FOIKS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. Automatic debugging of UML class diagrams helps in the visual specification of software systems because users cannot detect errors in logical inconsistency easily. This p...
153
click to vote
ATC
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we introduce new concepts and methods for checking the correctness of control flow instructions during the execution of programs in embedded CPUs. Detecting and avoi...