1884 search results - page 6 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
ECMDAFA
2005
Springer
14 years 2 months ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
DAC
1998
ACM
14 years 9 months ago
1998
ACM
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...
ACSAC
2001
IEEE
14 years 13 days ago
2001
IEEE
Traditional database security mechanisms are very limited in defending successful data attacks. Authorized but malicious transactions can make a database useless by impairing its ...
DSN
2004
IEEE
14 years 15 days ago
2004
IEEE
This paper describes and discusses the work carried on in the context of the CORTEX project, for the development of adaptive real-time applications in wormhole based systems. The ...
ECAI
2008
Springer
13 years 10 months ago
2008
Springer
A temporal constraint management system (TCMS) is a temporal network together with algorithms for managing the constraints in that network over time. This paper presents a practica...