20126 search results - page 360 / 4026 » Timed Transition Systems |
160
Voted
FTRTFT
1998
Springer
15 years 9 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
166
click to vote
IDMS
1997
Springer
15 years 9 months ago
1997
Springer
We present a soft real-time CPU server for Continuous Media processing in the UNIX environment. The server is a daemon process from which applications can request and acquire soft...
171
click to vote
ESEC
1993
Springer
15 years 9 months ago
1993
Springer
We report the results of a survey about the software faults encountered during the testing phases in evolving a large real-time system. The survey was done in two parts: the rst pa...
131
Voted
WSC
2004
15 years 6 months ago
2004
Metering flights at key points such as sector crossings is an important operational procedure in mitigating National Airspace System (NAS) traffic congestion due to high demand or...
150
click to vote
TII
2008
15 years 5 months ago
2008
In wireless sensor networks each sensor node has very limited resources, and it is very difficult to find and collect them. For this reason, updating or adding programs in sensor n...