474 search results - page 44 / 95 » Assurance Based Development of Critical Systems |
153
click to vote
CONCUR
2000
Springer
15 years 9 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
163
click to vote
ANLP
1994
15 years 6 months ago
1994
FoG currently produces bilingual marine and public weather forecasts at several Canadian weather offices. The system is engineered to reflect "good professional style" a...
168
click to vote
DATE
2008
IEEE
15 years 6 months ago
2008
IEEE
Adaptive resource management is critical to ensuring the quality of real-time distributed applications, particularly for energy-constrained mobile handheld devices. In this contex...
153
click to vote
AICCSA
2006
IEEE
15 years 11 months ago
2006
IEEE
The increased complexity, heterogeneity and the dynamism of networked systems and services make current control and management tools to be ineffective in managing and securing suc...
163
click to vote
IOT
2010
15 years 3 months ago
2010
Persuasive energy monitoring technology has the potential to inspire sustainable energy lifestyles within the home. However, to effect positive ecological behaviour change, a more ...