15 search results - page 2 / 3 » MoDeII: Modeling and Analyzing Time-Constraints |
124
click to vote
CSFW
2000
IEEE
15 years 1 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...
HICSS
2009
IEEE
15 years 4 months ago
2009
IEEE
The requirement for power system operators to respond more efficiently to the stressed power system conditions that may create large number of alarms asks fort advanced alarm proc...
ICCS
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
AIME
2005
Springer
14 years 11 months ago
2005
Springer
In the objective of building care team guidelines from field observations, this paper introduces a representation method for describing the medical collaborative activities during ...
DATE
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract—Many application domains require adaptive realtime embedded systems that can change their functionality over time. In such systems it is not only necessary to guarantee ...