1429 search results - page 189 / 286 » An Overview of the Annex System |
160
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
In this presentation, we give an overview of research activities at the Department of Computing Science, Ume˚a University with focus on Scientific, Parallel and High-Performance...
161
click to vote
AIL
2005
15 years 6 months ago
2005
In this paper we show how dialogue-based theories of argumentation can contribute to the construction of effective systems of dispute resolution. Specifically we consider the role ...
196
click to vote
RV
2010
Springer
15 years 5 months ago
2010
Springer
This tutorial deals with runtime enforcement which is an extension of runtime verification aiming to circumvent misbehaviors of systems. After an historical overview of previous a...
164
click to vote
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
—Automatic and advanced merging algorithms help programmers to merge their modifications in main development repositories. However, there is little support to help release maste...
180
click to vote
ICIP
2008
IEEE
16 years 8 months ago
2008
IEEE
Video streaming with virtual pan/tilt/zoom functionality allows the viewer to watch arbitrary regions of a high-spatial-resolution scene. In our proposed system, the user controls...