Sciweavers

1830 search results - page 332 / 366
» Centering in Dynamic Semantics
Sort
View
ICANN
2010
Springer
14 years 11 months ago
On the Fringe of Awareness: The Glance-Look Model of Attention-Emotion Interactions
In previous work, we have developed a "Glance-Look" model, which has replicated a broad profile of data on the semantic Attentional Blink (AB) task and characterized how ...
Li Su, Philip Barnard, Howard Bowman
C++
1994
128views more  C++ 1994»
15 years 14 days ago
Implementing Signatures for C++
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
Gerald Baumgartner, Vincent F. Russo
ENTCS
2010
107views more  ENTCS 2010»
14 years 11 months ago
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems
In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive Model), for modeling self-adaptive systems. In this model, policies are used as a mechanism to d...
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott,...
ECEASST
2008
69views more  ECEASST 2008»
14 years 11 months ago
Verifying Model Transformations by Structural Correspondence
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
Anantha Narayanan, Gabor Karsai
FUIN
2008
147views more  FUIN 2008»
14 years 11 months ago
A Basic Logic for Reasoning about Connector Reconfiguration
Abstract. Software systems evolve over time. From a component-based software engineering perspective, this means that either the components of the system need to change, or, if com...
Dave Clarke