3342 search results - page 101 / 669 » Automating Abstract Interpretation |
DEON
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. In this paper, we combine deontic logic with Alternatingtime Temporal Logic (ATL) into a framework that makes it possible to model and reason about obligations and abilit...
HYBRID
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. In many cases, complex system behaviors are naturally modeled as nonlinear differential equations. However, these equations are often hard to analyze because of "sti...
156
Voted
COGSYS
2005
Springer
15 years 1 months ago
2005
Springer
Abstract. Natural language interaction between a student and a tutoring or an assistance system for mathematics is a new multi-disciplinary challenge that requires the interaction ...
85
Voted
DAGSTUHL
2007
15 years 16 days ago
2007
Abstract. Well-founded orders are the most basic, but also most important ingredient to virtually all termination analyses. Numerous fully automated search algorithms for these cla...
114
click to vote
FAC
2007
14 years 11 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...