2403 search results - page 215 / 481 » Using the WinWin Spiral Model: A Case Study |
189
click to vote
PTS
2003
15 years 7 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
158
click to vote
WSC
1998
15 years 7 months ago
1998
The relationship between the High Level Architecture and web-based simulation is discussed. The notion of interoperability is suggested as a binding force between these initiative...
154
click to vote
ENTCS
2008
15 years 6 months ago
2008
Graphical notations are already popular for the design of software, as witnessed by the success of the Uniform Modeling Languages (UML). In this paper, we advocate the use of grap...
165
click to vote
AI
1998
Springer
15 years 6 months ago
1998
Springer
We argue that the situation calculus is a natural formalism for representing and reasoning about control and strategic information. As a case study, in this paper we provide a sit...
185
click to vote
SDM
2009
SIAM
16 years 3 months ago
2009
SIAM
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...