7209 search results - page 875 / 1442 » Software Engineering for Multi-Agent Systems |
163
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
147
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language by means of graph...
145
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
127
Voted
VAMOS
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we propose an approach to support dynamic or runtime variability in systems that must adapt dynamically to changing runtime context. The approach is founded on refle...
109
click to vote
AVI
2004
15 years 6 months ago
2004
Applying personal keywords to images and video clips makes it possible to organize and retrieve them, as well as automatically create thematically related slideshows. MediaBrowser...