4488 search results - page 707 / 898 » Properties of NP-Complete Sets |
135
click to vote
FMCAD
2008
Springer
15 years 7 months ago
2008
Springer
We describe a general approach for defining new temporal specification languages, and adopting existing languages, for SystemC. We define the concept of "underlying trace"...
145
click to vote
FMCO
2008
Springer
15 years 7 months ago
2008
Springer
The Bytecode Modeling Language (BML) is a specication for Java bytecode, that provides a high level of abstraction, while not restricting the format of the bytecode. Notably, BML s...
143
click to vote
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
145
click to vote
FOIKS
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. This paper analyzes the aggregation of different abstract attack relations over a common set of arguments. Each of those attack relations can be considered as the represe...
159
click to vote
APBC
2007
15 years 7 months ago
2007
ibe an abstract data model of protein structures by representing the geometry of proteins using spatial data types and present a framework for fast structural similarity search bas...