6308 search results - page 208 / 1262 » Modeling Urgency in Timed Systems |
158
click to vote
DATE
2003
IEEE
15 years 9 months ago
2003
IEEE
In this paper we present the results of a set of experiments we conducted in order to evaluate the viability of the behavioral synthesis, relying on the tools available at the mom...
127
Voted
DATE
2002
IEEE
15 years 9 months ago
2002
IEEE
By using a macro/micro state model we show how assumptions on the resolution of logical and physical timing of computation in computer systems has resulted in design methodologies...
178
click to vote
AIMDM
1999
Springer
15 years 8 months ago
1999
Springer
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
139
click to vote
AINA
2007
IEEE
15 years 11 months ago
2007
IEEE
— Technology holds great potential for improvements in the field of health care used in intelligent environments, with homes becoming the centers for proactive health care. Smart...
134
click to vote
APCCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
— DAB is a growing communication technology for digital audio broadcasting and demands higher concentration on flexible and cost optimum implementations for use in new mobile ele...