Sciweavers

876 search results - page 98 / 176
» Integrating Preferences into Goal Models for Requirements En...
Sort
View
FM
2003
Springer
136views Formal Methods» more  FM 2003»
15 years 11 months ago
Improving Safety Assessment of Complex Systems: An Industrial Case Study
The complexity of embedded controllers is steadily increasing. This trend, stimulated by the continuous improvement of the computational power of hardware, demands for a correspond...
Marco Bozzano, Antonella Cavallo, Massimo Cifaldi,...
MATES
2005
Springer
15 years 11 months ago
Collaborative Agent-Based Knowledge Support for Empirical and Knowledge-Intense Processes
Independent from specific application domains, similar requirements can be identified regarding information needs during daily work. For coping with generality on the one hand an...
Andrea Freßmann, Kerstin Maximini, Rainer Ma...
WSC
2004
15 years 7 months ago
The Use of Simulation to Support Major Transportation Planning Decisions
When major transportation infrastructures such as freight corridors or port systems are being planned, there are typically multiple phases of preliminary engineering required. Dur...
Beth C. Kulick
EWSA
2005
Springer
15 years 11 months ago
Context-Awareness in Software Architectures
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
Antónia Lopes, José Luiz Fiadeiro
ICWS
2008
IEEE
15 years 7 months ago
A Framework for Verifying SLA Compliance in Composed Services
Service level agreements (SLAs) impose many nonfunctional requirements on services. Business analysts specify and check these requirements in business process models using tools s...
Hua Xiao, Brian Chan, Ying Zou, Jay W. Benayon, Bi...