460 search results - page 67 / 92 » Abstraction in model checking multi-agent systems |
TPHOL
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
ICFCA
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. In the past years Software Engineering has experienced several difficulties in modularising crosscutting aspects, like shared, dynamic or scattered behavior of object-ori...
ENTCS
2006
13 years 7 months ago
2006
Model-Driven Architecture is an approach of the OMG, its objective is to tackle problems such as: the high availability that a software product requires to be ready for use, the h...
ACSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—The traditional virtual machine usage model advocates placing security mechanisms in a trusted VM layer and letting the untrusted guest OS run unaware of the presence of...
ATVA
2009
Springer
14 years 2 months ago
2009
Springer
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...