4211 search results - page 319 / 843 » Types as Abstract Interpretations |
158
click to vote
RSCTC
2004
Springer
16 years 2 days 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...
193
click to vote
RTA
2004
Springer
16 years 2 days 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...
140
click to vote
ICALT
2003
IEEE
16 years 12 hour 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...
172
Voted
KBSE
2003
IEEE
15 years 12 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...
174
Voted
WORDS
2003
IEEE
15 years 12 months ago
2003
IEEE
The execution time of software for hard real-time systems must be predictable. Further, safe and not overly pessimistic bounds for the worst-case execution time (WCET) must be com...