2989 search results - page 308 / 598 » Using Domain-Independent Problems for Introducing Formal Met... |
195
click to vote
CAV
2007
Springer
16 years 26 days ago
2007
Springer
This paper explores the concept of locality in proofs of global safety properties of asynchronously composed, multi-process programs. Model checking on the full state space is ofte...
184
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges o...
162
click to vote
BIRTHDAY
2008
Springer
15 years 8 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
207
click to vote
ACSW
2004
15 years 8 months ago
2004
Ontologies represent a method of formally expressing a shared understanding of information, and have been seen by many authors as a prerequisite for the "Semantic web". ...
153
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we propose a unified algorithmic framework for solving many known variants of MDS. Our algorithm is a simple iterative scheme with guaranteed convergence, and is mo...