31387 search results - page 362 / 6278 » Abstracts |
177
click to vote
FORMATS
2004
Springer
16 years 7 days ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
128
click to vote
ELPUB
2003
ACM
16 years 3 days ago
2003
ACM
s and that of abstracts generated automatically. Despite highly promising results achieved by luation, readability of abstracts must be further improved by integrating additional h...
153
click to vote
VMCAI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. The finite powerset construction upgrades an abstract domain by allowing for the representation of finite disjunctions of its elements. In this paper we define three g...
173
click to vote
HICSS
2003
IEEE
16 years 4 days ago
2003
IEEE
AbstractAbstractAbstract Decision task and its features are defined in order to distinguish motions, decision purposes, decision problems, alternatives, etc. Indicators of decision...
123
click to vote
CIE
2005
Springer
16 years 11 days ago
2005
Springer
as an abstraction of a population of bio-entities aggregated together in