2813 search results - page 519 / 563 » Formalizing Architectural Connection |
122
click to vote
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
118
click to vote
KCAP
2009
ACM
15 years 6 months ago
2009
ACM
Ontology modularization has received growing interest from the research community lately, since it supports tasks such as ontology design/reuse and knowledge selection and integra...
132
click to vote
CONCUR
2001
Springer
15 years 6 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
162
click to vote
PODC
1994
ACM
15 years 6 months ago
1994
ACM
The notion of belief has been useful in reasoning about authentication protocols. In this paper, we show how the notion of belief can be applied to reasoning about cache coherence...
150
click to vote
ECOWS
2007
Springer
15 years 5 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...