4211 search results - page 552 / 843 » Types as Abstract Interpretations |
192
click to vote
AGTIVE
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. In this short paper we describe the setup and results of a new initiative to compare graph transformation tools, carried out as part of the AGTIVE 2007 symposium on “Ap...
192
click to vote
AMS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract Walking, running and hopping are based on self-stabilizing oscillatory activity. In contrast, aiming movements serve to direct a limb to a desired location and demand a qu...
148
click to vote
ATAL
2007
Springer
16 years 22 days ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
157
click to vote
CCS
2007
ACM
16 years 22 days ago
2007
ACM
Abstract. MicroArchitectural Attacks (MA), which can be considered as a special form of SideChannel Analysis, exploit microarchitectural functionalities of processor implementation...
160
click to vote
CLEF
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. This paper describes the results of the INAOE’s answer validation system evaluated at the Spanish track of the AVE 2007. The system is based on a supervised learning ap...