4350 search results - page 65 / 870 » Case studies for contract-based systems |
VISUALIZATION
1994
IEEE
14 years 2 months ago
1994
IEEE
Augmented reality systems with see-through headmounted displays have been used primarily for applications that are possible with today's computational capabilities. We explor...
ATAL
2008
Springer
13 years 12 months ago
2008
Springer
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This ...
SQJ
2008
13 years 10 months ago
2008
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
JSS
2010
13 years 8 months ago
2010
We use 810 versions of the Linux kernel, released over a period of 14 years, to characterize the system’s evolution, using Lehman’s laws of software evolution as a basis. We i...
ICCBR
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Ambient intelligent systems are defined as being able to perceive their environment, being aware of the presence of people and other agents, and respond intelligently to...