1914 search results - page 198 / 383 » Verification by Abstract Interpretation |
143
click to vote
ASIAN
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
193
click to vote
ESAW
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. This paper surveys the state-of-the-art in developing multi-agent systems, and sets out to answer the questions: "what are the key current issues in developing multi...
155
click to vote
APN
2000
Springer
15 years 9 months ago
2000
Springer
Abstract. Workflow management technology promises a flexible solution facilitating the easy creation of new business processes and modification of existing ones. Unfortunately, mos...
157
click to vote
ITS
2000
Springer
15 years 9 months ago
2000
Springer
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...
142
click to vote
AMAST
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Vx86 is the first static analyzer for sequential Intel x86 assembler code using automated deductive verification. It proves the correctness of assembler code against func...