8132 search results - page 1233 / 1627 » Dependability, Abstraction, and Programming |
180
click to vote
TAP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
193
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Ensuring the security of computers is a nontrivial task, with many techniques used by malicious users to compromise these systems. In recent years a new threat has emer...
231
click to vote
APSEC
2007
IEEE
16 years 1 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
175
click to vote
TASE
2007
IEEE
16 years 1 months ago
2007
IEEE
The design and implementation of complex software systems ly spans multiple levels of abstractions. The concepts of el of abstractions and their interplay are represented by forma...
176
click to vote
ICALP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. Various methods have been used to represent a tree on n nodes in essentially the informationtheoretic minimum space while supporting various navigational operations in co...