1116 search results - page 79 / 224 » Applying Predicate Abstraction to Abstract State Machines |
114
click to vote
JAPLL
2007
15 years 4 months ago
2007
ecking, algebraic, abstract machines, etc.). THE JOURNAL The Journal of Applied Logic1 publishes papers in areas of logic which can be applied in other disciplines as well as appli...
124
click to vote
ACII
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper describes affective and psychophysiological foundations used to help to control affective content in music production. Our work includes the proposal of a know...
129
click to vote
CACM
2008
15 years 4 months ago
2008
argely on the ability of used architectural abstractions to support the separate handling of agent-specific concerns since an early state of design. The applied architectural style...
142
click to vote
AGP
1995
IEEE
15 years 7 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
137
click to vote
SIGOPSE
1998
ACM
15 years 8 months ago
1998
ACM
Modern virtual machines, such as Java and Inferno, are emerging as network computing s. While these virtual machines provide higher-level abstractions and more sophisticated servi...