3047 search results - page 92 / 610 » A Temporal Consensus Model |
156
click to vote
QSIC
2007
IEEE
15 years 11 months ago
2007
IEEE
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. Each of these approaches have been devised with a specific motive and to addres...
120
click to vote
FTCS
1998
15 years 6 months ago
1998
Abstract-- We propose a formal definition for the timed asynchronous distributed system model. We present extensive measurements of actual message and process scheduling delays and...
160
Voted
ICSOC
2007
Springer
15 years 11 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
146
click to vote
ASWEC
2008
IEEE
15 years 11 months ago
2008
IEEE
Viewpoint-based conceptual modeling is concerned with the identification of a complete and coherent set of software models that have been developed with the involvement of variou...
143
Voted
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
There have been various proposals for the formalization of appropriate viewpoint-based frameworks. The model that we intend to devise attempts to provide a basis for conceptual mo...