3801 search results - page 493 / 761 » An Approach to Modeling Software Safety |
159
click to vote
JSS
2007
15 years 6 months ago
2007
Large systems often have a long life-span and comprise many intricately related elements. The verification and maintenance of these systems require a good understanding of their ...
193
Voted
SPIN
2010
Springer
15 years 4 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
213
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
Fifteen teams recently used the WinWin Spiral Model to perform the system engineering and architecting of a set of multimedia applications for the USC Library Information Systems....
152
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
Mashup applications mix and merge content (data and code) from multiple content providers in a user's browser, to provide high-value web applications that can rival the user ...
205
click to vote
VRST
2009
ACM
16 years 1 months ago
2009
ACM
Simulating crowds in complex environment is fascinating and challenging, however, modeling of the environment is always neglected in the past, which is one of the essential proble...