1972 search results - page 169 / 395 » The Timed Asynchronous Distributed System Model |
199
click to vote
ARTS
1997
Springer
15 years 10 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
168
click to vote
VALUETOOLS
2006
ACM
16 years 5 days ago
2006
ACM
In the context of communication networks, the framework of stochastic event graphs allows a modeling of control mechanisms induced by the communication protocol and an analysis of ...
169
click to vote
ICST
2009
IEEE
16 years 27 days ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...
159
click to vote
REX
1993
15 years 10 months ago
1993
Abstract. Models for concurrency can be classified with respect to three relevant parameters: behaviour/system, interleaving/noninterleaving, linear/branching time. When modelling...
159
click to vote
VTC
2006
IEEE
16 years 7 days ago
2006
IEEE
— Throughput maximization in a packet switched wireless communication system is considered in this paper. The channel variation is accounted for by modeling the channel as a fin...