6293 search results - page 213 / 1259 » Information Flow Testing |
114
Voted
WSC
2007
15 years 5 months ago
2007
Two discrete-event simulations are developed to assess the feasibility of improving the delivery process of reinforced concrete structures. The simulations represent the resource ...
122
Voted
IDA
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We propose a generic framework and methods for simplification of large networks. The methods can be used to improve the understandability of a given network, to complemen...
145
Voted
CJ
2010
15 years 28 days ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...
170
click to vote
CHI
2007
ACM
16 years 3 months ago
2007
ACM
In this paper, we introduce an implementation for detailed monitoring of user actions on web pages. It addresses the problem that the log data recorded by standard web servers is ...
133
click to vote
SIAMSC
2008
15 years 3 months ago
2008
We study preconditioners for the iterative solution of the linear systems arising in the implicit time integration of the compressible Navier-Stokes equations. The spatial discreti...