980 search results - page 75 / 196 » Logical Testing |
110
click to vote
CAV
2010
Springer
15 years 2 months ago
2010
Springer
We define and study a new abstract domain which is a fine-grained combination of zonotopes with (sub-)polyhedric domains such as the interval, ocinear template or polyhedron domain...
127
click to vote
ISCA
2009
IEEE
15 years 9 months ago
2009
IEEE
While Moore’s Law predicts the ability of semi-conductor industry to engineer smaller and more efficient transistors and circuits, there are serious issues not contemplated in t...
109
Voted
ACL
2009
15 years 2 days ago
2009
The use of figurative language is ubiquitous in natural language texts and it is a serious bottleneck in automatic text understanding. We address the problem of interpretation of ...
141
click to vote
APN
2001
Springer
15 years 6 months ago
2001
Springer
We propose rewriting logic as a unifying framework for a wide range of Petri nets models. We treat in detail place/transition nets and important extensions of the basic model by in...
FSKD
2005
Springer
15 years 7 months ago
2005
Springer
In this paper, we develop a security design metric that can be used at system design time to build more secure systems. This metric is based on the system-wide approach and adopt a...