1297 search results - page 105 / 260 » Dynamic Object Process Graphs |
177
click to vote
ZUM
1997
Springer
15 years 9 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
140
click to vote
WSC
2007
15 years 7 months ago
2007
Visualization is a powerful method for verifying, validating, and communicating the results of a simulated model. Lack of visual understanding about a simulated model is one of th...
172
click to vote
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
161
click to vote
ICIP
2008
IEEE
15 years 11 months ago
2008
IEEE
Traditional background modeling and subtraction methods have a strong assumption that the scenes are of static structures with limited perturbation. These methods will perform poo...
146
click to vote
ESCIENCE
2007
IEEE
15 years 8 months ago
2007
IEEE
Data sources, storage, computing resources and services are entities on Grids that require mechanisms for publication and lookup. A discovery service relies on efficient lookup to...