20126 search results - page 332 / 4026 » Timed Transition Systems |
156
click to vote
HASE
1999
IEEE
15 years 9 months ago
1999
IEEE
The state of the art in verifying the real-time requirements of applications developed using general processing graph models relies on simulation or off-line scheduling. We extend...
114
Voted
IOR
2010
15 years 3 months ago
2010
This paper analyzes a class of common-component allocation rules, termed no-holdback (NHB) rules, in continuous-review assemble-to-order (ATO) systems. We assume that component in...
125
Voted
ITIIS
2010
15 years 3 months ago
2010
Cognitive Radio is an advanced enabling technology for the efficient utilization of vacant spectrum due to its ability to sense the spectrum environment. It is important to determ...
157
click to vote
KESAMSTA
2010
Springer
15 years 3 months ago
2010
Springer
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...
146
click to vote
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and ...