Sciweavers

1261 search results - page 191 / 253
» A taxonomy for identifying requirement interactions in softw...
Sort
View
DATE
2002
IEEE
123views Hardware» more  DATE 2002»
15 years 11 months ago
False Path Elimination in Quasi-Static Scheduling
We have developed a technique to compute a Quasi Static Schedule of a concurrent specification for the software partition of an embedded system. Previous work did not take into a...
G. Arrigoni, L. Duchini, Claudio Passerone, Lucian...
AVI
2010
15 years 7 months ago
GPS and road map navigation: the case for a spatial framework for semantic information
Urban environments require cognitive abilities focused on both spatial overview and detailed understanding of uses and places. These abilities are distinct but overlap and reinfor...
Ginette Wessel, Caroline Ziemkiewicz, Remco Chang,...
ECBS
2010
IEEE
147views Hardware» more  ECBS 2010»
15 years 11 months ago
Supporting Customizable Architectural Design Decision Management
—When engineering complex software systems, the key Architectural Design Decisions (ADD) and the reasoning underlying those decisions need to be fully understood by all stakehold...
Lianping Chen, Muhammad Ali Babar
SOSYM
2010
176views more  SOSYM 2010»
15 years 4 months ago
On challenges of model transformation from UML to Alloy
Abstract The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an application has been specified, Model Driven Arch...
Kyriakos Anastasakis, Behzad Bordbar, Geri Georg, ...
ATAL
2004
Springer
15 years 10 months ago
Generating Coalition Structures with Finite Bound from the Optimal Guarantees
The coalition formation process, in which a number of independent, autonomous agents come together to act as a collective, is an important form of interaction in multiagent system...
Viet Dung Dang, Nicholas R. Jennings