Sciweavers

5477 search results - page 608 / 1096
» Contexts, Domains, and Software
Sort
View
ICSE
2000
IEEE-ACM
15 years 10 months ago
Graphical animation of behavior models
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...
Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jef...
SEKE
1995
Springer
15 years 10 months ago
Visual Scenarios for Validation of Requirements Specification
The development of a large information system is generally regarded as one of the most complex activities undertaken by organizations and it is dependent on the communication and u...
V. Lalioti, Babis Theodoulidis
CBSE
2008
Springer
15 years 9 months ago
A Component Model for Control-Intensive Distributed Embedded Systems
Abstract. In this paper we focus on design of a class of distributed embedded systems that primarily perform real-time controlling tasks. We propose a two-layer component model for...
Séverine Sentilles, Aneta Vulgarakis, Tom&a...
QOSA
2010
Springer
15 years 9 months ago
Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems
The use of redundant computational nodes is a widely used design tactic to improve the reliability of complex embedded systems. However, this redundancy allocation has also an effe...
Indika Meedeniya, Barbora Buhnova, Aldeida Aleti, ...
EDBT
2008
ACM
140views Database» more  EDBT 2008»
15 years 9 months ago
Database Servers Tailored to Improve Energy Efficiency
Database software can be tailored for specific application domains and their required functionality, for specific hardware and its characteristics, or for other purposes. This bri...
Goetz Graefe