2403 search results - page 100 / 481 » Using the WinWin Spiral Model: A Case Study |
139
click to vote
RTS
2008
15 years 5 months ago
2008
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
146
click to vote
IVEVA
2004
15 years 7 months ago
2004
In this work, an interaction model between artificial life agents (creatures) is proposed, which allows studying emergent social behavior of agents. This model describes the enviro...
161
Voted
AAI
2004
15 years 5 months ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
117
Voted
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...
191
Voted
WER
2010
Springer
15 years 3 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...