396 search results - page 2 / 80 » Comparative Semantics for a Real-Time Programming Language w... |
RTAS
2007
IEEE
13 years 11 months ago
2007
IEEE
Discrete-event (DE) models are formal system specifications that have analyzable deterministic behaviors. Using a global, consistent notion of time, DE components communicate via...
RTCSA
2003
IEEE
13 years 10 months ago
2003
IEEE
Despite Java’s initial promise of providing a reliable and cost-effective platform-independent environment, the language appears to be unfavourable in the area of high-integrity...
ISORC
2007
IEEE
13 years 11 months ago
2007
IEEE
As quality of service (QoS)-enabled component middleware technologies gain widespread acceptance to build distributed real-time and embedded (DRE) systems, it becomes necessary fo...
ISORC
1998
IEEE
13 years 9 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
ARTS
1997
Springer
13 years 9 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...