Sciweavers

1256 search results - page 13 / 252
» A Model of Interaction in Concurrent and Distributed Systems
Sort
View
REX
1993
13 years 11 months ago
Relationships Between Models of Concurrency
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
Mogens Nielsen, Vladimiro Sassone, Glynn Winskel
ICDCS
1996
IEEE
13 years 11 months ago
The Relative Importance of Concurrent Writers and Weak Consistency Models
This paper presents a detailed comparison of the relative importance of allowing concurrent writers versus the choice of the underlying consistency model. Our comparison is based ...
Peter J. Keleher
CEC
2009
IEEE
14 years 2 months ago
The engineering of concurrent simulations of complex systems
— Concurrent process-oriented programming is a natural medium for simulating complex systems, particularly systems where many simple components interact in an environment (which ...
Fiona A. C. Polack, Paul S. Andrews, Adam T. Samps...
EUROMICRO
2000
IEEE
13 years 11 months ago
Concurrent Control Systems: From Grafcet to VHDL
The Automated Production Systems (APS) are composed of concurrent interacting entities. Then any model should exhibit parallel and sequential behaviours. The Grafcet is now well e...
Frédéric Mallet, Daniel Gaffé...
FASE
2005
Springer
14 years 26 days ago
Using Scenarios to Predict the Reliability of Concurrent Component-Based Software Systems
Scenarios are a popular means for capturing behavioural requirements of software systems early in the lifecycle. Scenarios show how components interact to provide system level func...
Genaína Nunes Rodrigues, David S. Rosenblum...