1153 search results - page 37 / 231 » Compositional Specification Calculus for Information Systems... |
116
Voted
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
122
click to vote
EEE
2005
IEEE
15 years 9 months ago
2005
IEEE
We describe an agent-based situation-aware survivable architecture for the discovery and composition of web services. Our architecture provides for proofs that guaranteethe consis...
111
click to vote
ACSAC
2000
IEEE
15 years 8 months ago
2000
IEEE
The paper describes the design and implementation of a security architecture for a Cooperative Information System implemented with CORBA technologies. We first define a role-based...
136
Voted
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
113
click to vote
ENTCS
2008
15 years 3 months ago
2008
Circus is a refinement language, in which specifications define both data and behavioural aspects of concurrent systems using a combination of Z and CSP. Its refinement theory and...