1213 search results - page 120 / 243 » Traceability for System Families |
96
Voted
MODELS
2009
Springer
15 years 7 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
108
Voted
COCO
2010
Springer
15 years 4 months ago
2010
Springer
The last decade has seen a revival of interest in pebble games in the context of proof complexity. Pebbling has proven to be a useful tool for studying resolution-based proof syst...
107
Voted
ROBOCOMM
2007
IEEE
15 years 7 months ago
2007
IEEE
—Modeling and simulation can be powerful tools for analyzing multi-agent systems, such as networked robotic systems and sensor networks. In this paper, it is shown concretely how...
115
click to vote
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
This paper addresses questions regarding the decidability of hybrid automata that may be constructed hierarchically and in a modular way, as is the case in many exemplar systems, b...
WER
2007
Springer
15 years 6 months ago
2007
Springer
Complex information systems have numerous design variables that are systematically decided upon during the design process. In high-variability systems, some of these decisions are...