408 search results - page 39 / 82 » Dynamic Component Substitutability Analysis |
SAC
2005
ACM
14 years 2 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
EMSOFT
2008
Springer
13 years 10 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...
USENIX
1994
13 years 9 months ago
1994
With the advent and subsequent popularity of portable computers, power management of system components has become an important issue. Current portable computers implement a number...
ICDM
2010
IEEE
13 years 6 months ago
2010
IEEE
A Cyber-Physical System (CPS) integrates physical devices (e.g., sensors, cameras) with cyber (or informational) components to form a situation-integrated analytical system that re...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
We examine the recent information visualization phenomenon known as tag clouds, which are an interesting combination of data visualization, web design element, and social marker. ...