18769 search results - page 3488 / 3754 » Requirements Models in Context |
198
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
We introduce a new simulation platform called Insight, created to design and simulate cyber-attacks against large arbitrary target scenarios. Insight has surprisingly low hardware...
194
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Push message delivery, where a client maintains an "always-on" connection with a server in order to be notified of a (asynchronous) message arrival in real-time, is incre...
212
click to vote
MOC
2011
15 years 1 months ago
2011
Abstract. Various applications in uid dynamics and computational continuum mechanics motivate the development of reliable and e cient adaptive algorithms for mixed nite element m...
199
click to vote
MOC
2011
15 years 1 months ago
2011
We propose and analyze a finite element method for a semi– stationary Stokes system modeling compressible fluid flow subject to a Navier– slip boundary condition. The veloci...
185
click to vote
NFM
2011
15 years 1 months ago
2011
Program verifiers based on first-order theorem provers model the program heap as a collection of mutable maps. In such verifiers, preserving unmodified facts about the heap acr...