6474 search results - page 1014 / 1295 » Towards a Systemic Approach to Autonomic Systems Engineering |
204
click to vote
ASE
2008
15 years 7 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
196
click to vote
COMCOM
2010
15 years 7 months ago
2010
In recent years, IPTV has received an increasing amount of interest from the industry, commercial providers and the research community, alike. In this context, standardization bod...
228
click to vote
ASE
2006
15 years 7 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
239
click to vote
JCP
2008
15 years 7 months ago
2008
The computer world is experiencing a paradigm shift towards context-aware pervasive computing, where diverse computer devices communicate with each other through different network ...
206
click to vote
JUCS
2006
15 years 7 months ago
2006
: Telemedicine applications on a medical practitioner's mobile device should be context-aware. This can vastly improve the effectiveness of mobile applications and is a step t...