Sciweavers

5353 search results - page 266 / 1071
» Modelling Contexts in the Or-BAC Model
Sort
View
CIKM
2007
Springer
16 years 28 days ago
Conceptual modeling by analogy and metaphor
Metaphor is not merely a rhetorical device, characteristic of language alone, but rather a fundamental feature of the human conceptual system. A metaphor is understood by finding ...
Karin Koogan Breitman, Simone Diniz Junqueira Barb...
GTTSE
2007
Springer
16 years 27 days ago
A Landscape of Bidirectional Model Transformations
Model transformations are a key element in the OMG’s Model Driven Development agenda. They did not begin here: the fundamental idea of transforming, automatically, one model into...
Perdita Stevens
AICT
2005
IEEE
115views Communications» more  AICT 2005»
16 years 11 days ago
Models for the Supervision of Web Services Orchestration with Dynamic Changes
Programming on the Web enlights some classical problems encountered on large distributed applications with a particular emphasis on dynamic changes. In that context, we are intere...
Thomas Chatain, Claude Jard
ICFEM
2004
Springer
16 years 4 days ago
Software Model Checking Using Linear Constraints
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
Alessandro Armando, Claudio Castellini, Jacopo Man...
HCI
2007
15 years 8 months ago
The BIC Model: A Blueprint for the Communicator
In this paper, we outline a cognitive architecture for communicators, called the BIC model. The model consist of three main components. First, a (B)iological component, in which th...
Jan Peter de Ruiter, Nicholas J. Enfield