1781 search results - page 204 / 357 » Visualizing program execution using user abstractions |
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
ISOLA
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Memory models of shared memory concurrent programs define the values a read of a shared memory location is allowed to see. Such memory models are typically weaker than t...
CD
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. A distributed software system's deployment architecture can have a significant impact on the system's properties. These properties will depend on various system...
JISE
2006
13 years 9 months ago
2006
in an abstract Cartesian space of program versions characterized by dialect variables. An optimal solution to the problem is derived based on its translation to a restricted Intege...
DGO
2004
13 years 10 months ago
2004
The focus of this paper reports a collaborative effort with the State of New Jersey in designing and building a human-centered e-government portal to support small and medium size...