159 search results - page 21 / 32 » Living with the abstract: realism and models |
MEMBRANE
2009
Springer
14 years 3 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
VLSID
2004
IEEE
14 years 9 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
CEC
2005
IEEE
14 years 2 months ago
2005
IEEE
AbstractThe principle of cooperation influences our everyday lives. This conflict between individual and collective rationality can be modelled through the use of social dilemmas...
DSVIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper we attempt to formalise some of the basic attributes of performative interaction against a background of sociological analysis in order to better understand...
AINA
2010
IEEE
14 years 1 months ago
2010
IEEE
Intelligent connected devices become a more vital part of our lives. In contrast to prior years, today embedded systems and devices are loosely coupled and cooperate with each oth...