7209 search results - page 485 / 1442 » Software Engineering for Multi-Agent Systems |
130
Voted
KBSE
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
125
Voted
FASE
1999
Springer
15 years 8 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...
118
Voted
APSEC
1998
IEEE
15 years 8 months ago
1998
IEEE
When implementing an application system in a distributed computing environment, several architectural questions arise such as, how and where computing resources are distributed, a...
151
Voted
COMPSAC
1998
IEEE
15 years 8 months ago
1998
IEEE
Distributed real-time applications have presented the need to extend the Object Management Group's OMG Common Object Request Broker Architecture CORBA standard to support rea...
138
Voted
FASE
1998
Springer
15 years 7 months ago
1998
Springer
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...