Sciweavers

10285 search results - page 377 / 2057
» Composing Feature Models
Sort
View
ICONS
2009
IEEE
16 years 1 months ago
Modeling System Safety Requirements Using Input/Output Constraint Meta-automata
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
Zhe Chen, Gilles Motet
MEMOCODE
2008
IEEE
16 years 1 months ago
Virtual prototyping AADL architectures in a polychronous model of computation
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
Ma Yue, Jean-Pierre Talpin, Thierry Gautier
166
Voted
IAT
2003
IEEE
16 years 2 days ago
Modeling Agent-Based Load Balancing with Time Delays
In grid computing, agent-based load balancing is one of the most important problems. In this paper, we present a macroscopic model to describe the dynamics of agent-based load bal...
Yuanshi Wang, Jiming Liu, Xiaolong Jin
CAISE
1999
Springer
15 years 11 months ago
A Multi-variant Approach to Software Process Modelling
: In this article we present a new approach to software process modelling for a large banking organisation. In the past years, the main software development methods and tools of th...
Wolfgang Hesse, Jörg Noack
IADIS
2004
15 years 8 months ago
Towards interoperability of wireless services - a description model of service interfaces
Web services are evolving quickly in terms of standardization. Technology and wireless networks exact requirements upon web services used via wireless connections, such as mobile ...
Anne Immonen, Jarkko Holappa, Päivi Kallio, J...