622 search results - page 54 / 125 » Specifying Functional and Timing Behavior for Real-Time Appl... |
WAIM
2005
Springer
14 years 2 months ago
2005
Springer
System behaviors specify the major functions of domain specific Web Information Systems (WIS). Traditional techniques can not satisfy various requirements or manage innumerous data...
AEI
1998
13 years 9 months ago
1998
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...
ICST
2010
IEEE
13 years 7 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
TC
2002
13 years 8 months ago
2002
Abstract-- Current systems are very often based on largescale, unpredictable and unreliable infrastructures. However, users of these systems increasingly require services with time...
PROMS
2001
Springer
14 years 1 months ago
2001
Springer
In this paper, we describe a mechanism for adaptive transmission of multimedia data, which is based on real time protocols. The proposed mechanism can be used for multicast multime...