1189 search results - page 106 / 238 » The Quotient of an Abstract Interpretation |
ENTCS
2007
15 years 21 days ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
77
Voted
COLING
1999
15 years 12 days ago
1999
languages into a general system for describing parsers. Eachparser performs abstract computations using theoperations ofasemiring. Thesystem allows asingle, simple representation t...
84
Voted
JUCS
2002
15 years 12 days ago
2002
Abstract: Observation is a fundamental interaction pattern in today's computerbased systems. Adopting observation as the main modelling criterion, computer-based systems can b...
166
Voted
SIMVIS
2007
15 years 2 months ago
2007
This paper reports on the development of a novel mixed reality I/O device tailored to the requirements of interaction with geo-spatial data in the immediate environment of the use...
92
Voted
CSL
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We define an abstract pebble game that provides game interpretations for essentially all known consistency algorithms for constraint satisfaction problems including arc-...