459 search results - page 58 / 92 » Specification and Analysis of Real-Time Systems Using Real-T... |
97
Voted
SOFSEM
2009
Springer
15 years 6 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
CIKM
2009
Springer
15 years 4 months ago
2009
Springer
Background: Finding relevant articles from PubMed is challenging because it is hard to express the user’s specific intention in the given query interface, and a keyword query ty...
WSC
2004
14 years 11 months ago
2004
This paper presents our work on the integrated use of simulation tools in real time for participatory occupational ergonomic studies. The focus of this paper is a synergistic syst...
RTCSA
2006
IEEE
15 years 3 months ago
2006
IEEE
The load parameter of a sporadic task system is defined to be the largest possible cumulative execution requirement that can be generated by jobs of the task system over any time...
HUMO
2000
Springer
15 years 1 months ago
2000
Springer
Intelligent meeting rooms should support efficient and effective interactions among its occupants. In this paper, we present our efforts toward building intelligent environments u...