7557 search results - page 577 / 1512 » Modeling Timed Concurrent Systems |
180
click to vote
TROB
2002
15 years 6 months ago
2002
We consider the problem of having a team of Unmanned Aerial Vehicles (UAV) and Unmanned Ground Vehicles (UGV) pursue a second team of evaders while concurrently building a map in a...
191
click to vote
POPL
2011
ACM
14 years 10 months ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
186
click to vote
ECTEL
2007
Springer
16 years 1 months ago
2007
Springer
The success of the e-learning paradigm observed in recent times created a growing demand for e-learning systems in universities and other educational institutions, that itself led ...
178
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
This article summarizes research on several interrelated general issues that can arise in the design and development of user modeling systems: the learning and subsequent adaptati...
182
click to vote
RTCSA
1995
IEEE
15 years 10 months ago
1995
IEEE
: An essential building-block for construction of future real-time computer systems (RTCS’s) is a timeliness-guaranteed operating system. The first co-author recently formulated ...