15372 search results - page 2769 / 3075 » The Semantics of Semantic Annotation |
119
click to vote
ENTCS
2010
15 years 4 months ago
2010
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which ...
126
click to vote
ENTCS
2010
15 years 4 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
122
click to vote
ENTCS
2010
15 years 4 months ago
2010
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...
127
click to vote
ECEASST
2008
15 years 4 months ago
2008
: 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. ...
144
Voted
AIS
2006
Springer
15 years 4 months ago
2006
Springer
In this paper we survey our research on smart meeting rooms and its relevance for augmented reality meeting support and virtual reality generation of meetings in real time or off-l...