1796 search results - page 318 / 360 » An Approach to Compositional Model Checking |
FAST
2008
15 years 4 months ago
2008
RAID storage systems protect data from storage errors, such as data corruption, using a set of one or more integrity techniques, such as checksums. The exact protection offered by...
101
Voted
ICWS
2010
IEEE
15 years 3 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...
105
click to vote
AAMAS
2008
Springer
15 years 2 months ago
2008
Springer
We present the MOdel of Organisational Change using Agents (MOCHA) as a means to formally specify, check and simulate organisations and their changes using agents. We define the s...
106
click to vote
AAMAS
2007
Springer
15 years 2 months ago
2007
Springer
Protocols enable unambiguous, smooth interactions among agents. Commitments among agents are a powerful means of developing protocols. Commitments enable flexible execution of pro...
158
click to vote
COMSIS
2010
14 years 11 months ago
2010
Abstract. In this paper we present DOMMLite - an extensible domainspecific language (DSL) for static structure definition of databaseoriented applications. The model-driven enginee...