907 search results - page 27 / 182 » Monitoring of Real-Time Properties |
FDL
2004
IEEE
13 years 11 months ago
2004
IEEE
Model-driven approaches proved themselves not suited yet to support real-time software development. Even if they have the ability of capturing adequately both functional and non-f...
AIPS
2007
13 years 10 months ago
2007
Planning in domains with temporal and numerical properties is an important research problem. One application of this is the resource production problem in real-time strategy (RTS)...
PDPTA
2000
13 years 9 months ago
2000
The primary purpose of parallel computation is the fast execution of computational tasks that are too slow to perform sequentially. However, it was shown recently that a second eq...
TITB
2008
13 years 7 months ago
2008
In this paper, we propose a physics-based and physiology-based approach for modeling real-time deformations of 3-D high-resolution polygonal lung models obtained from highresolutio...
FORMATS
2009
Springer
14 years 2 months ago
2009
Springer
Embedded real-time systems are typically programmed in low-level languages which provide support for event-driven task processing and real-time interrupts. We show that the model c...