2060 search results - page 199 / 412 » The Composition of Event-B Models |
183
click to vote
JSW
2007
15 years 6 months ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...
205
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Pervasive computing appears like a new computing era based on networks of objects and devices evolving in a real world, radically different from distributed computing, based on ne...
157
click to vote
ICCS
2007
Springer
16 years 22 days ago
2007
Springer
The GENIE project has built a Grid enabled framework that facilitates the integration, execution and management of component models for the study of the Earth system over millennia...
192
click to vote
ECMDAFA
2010
Springer
15 years 11 months ago
2010
Springer
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
173
click to vote
KBSE
1999
IEEE
15 years 11 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 ...