1914 search results - page 256 / 383 » Verification by Abstract Interpretation |
100
Voted
RSCTC
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper focuses on the use and interpretation of approximate databases where both rough sets and indiscernibility partitions are generalized and replaced by approximat...
118
Voted
RTA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. In this paper it is described how a combination of polynomial interpretations, recursive path order, RFC match-bounds, the dependency pair method and semantic labelling c...
111
Voted
UIALL
2004
Springer
15 years 6 months ago
2004
Springer
At present, various types of car navigation systems are progressively entering the market. Simultaneously, mobile outdoor navigation systems for pedestrians and electronic tourist ...
84
Voted
ICALT
2003
IEEE
15 years 6 months ago
2003
IEEE
Analysis of collaborative problem solving involves analysis of dialogue and interaction, analysis of tasks and social roles through ethnographic and other field studies. Use of to...
104
click to vote
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
Run-time errors are typically seen as unacceptable within safety and security critical software. The SPARK approach to the development of high integrity software addresses the pro...