217 search results - page 28 / 44 » Abstract Processes of Place Transition Systems |
ETFA
2008
IEEE
14 years 3 months ago
2008
IEEE
Industrial networks used to control production machinery require high availability to keep possible productivity losses to a minimum. The challenges to overcome are how we are to ...
WOA
2007
13 years 9 months ago
2007
Abstract— Situated agents engaged in open systems continually face with external events requiring adequate services and behavioral responses. In these conditions agents should be...
IJRR
2011
13 years 3 months ago
2011
Abstract People typically move and act under the constraints of an environment, making human behavior strongly place-dependent. Motion patterns, the places and the rates at which p...
EUROCAST
2007
Springer
14 years 16 days ago
2007
Springer
Abstract Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulas on the program variables. Most of m...
OPODIS
2010
13 years 6 months ago
2010
Failure detectors are commonly viewed as abstractions for the synchronism present in distributed system models. However, investigations into the exact amount of synchronism encapsu...