7557 search results - page 354 / 1512 » Modeling Timed Concurrent Systems |
174
click to vote
OPODIS
2004
15 years 8 months ago
2004
Abstract. We present a formalism for modeling replication in a distributed system with concurrent users sharing information. It is based on actions, which represent operations requ...
184
click to vote
ISOLA
2007
Springer
16 years 25 days ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
197
click to vote
SPIN
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We develop an algorithm to compute timed reachability probabilities for distributed models which are both probabilistic and nondeterministic. To obtain realistic results ...
166
click to vote
IOT
2010
15 years 4 months ago
2010
Effectively assisting people in complex and highly dynamic work environment requires advances in high-level declarative activity models that can describe the flow of human work act...
153
click to vote
JSW
2008
15 years 6 months ago
2008
The central idea in reference modeling is the reutilization of the business knowledge contained in a reference model. The user's task in reference model-based construction is ...