2403 search results - page 195 / 481 » Using the WinWin Spiral Model: A Case Study |
164
click to vote
RT
1997
Springer
15 years 10 months ago
1997
Springer
: Realistic image synthesis research involves the simulation of visible light propagation within an environment with a view to computing an image that evokes a similar visual respo...
168
click to vote
CSFW
1998
IEEE
15 years 10 months ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
209
click to vote
ANSS
2008
IEEE
16 years 29 days ago
2008
IEEE
Efficient job scheduling in grids is challenging due to the large number of distributed autonomous resources. In this paper we study various resource allocation policies in a 2-le...
188
click to vote
FORTE
2004
15 years 7 months ago
2004
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...
169
click to vote
DATE
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...