199 search results - page 31 / 40 » Task-oriented engineering of coordinated software systems |
IUI
2005
ACM
14 years 8 days ago
2005
ACM
An expressive representation for location is an important component in many applications. However, while many location-aware applications can reason about space at the level of co...
UIST
1993
ACM
13 years 10 months ago
1993
ACM
A skeletal stroke is a kind of general brush stroke for changing the shape of pictures as if by bending, shearing, twisting, while conservating the aspect ratio of selected featur...
EUROSYS
2007
ACM
13 years 10 months ago
2007
ACM
The majority of aspect-oriented middlewares supporting dynamic aspect weaving fail to preserve important safety properties while weaving or unweaving a distributed aspect at runti...
FOSSACS
2009
Springer
13 years 10 months ago
2009
Springer
In quantitative verification, system states/transitions have associated costs, and these are used to associate mean-payoff costs with infinite behaviors. In this paper, we propose ...
AVI
2008
13 years 9 months ago
2008
MedioVis is a visual information seeking system that aims to support users' natural seeking behavior, particularly in complex information spaces. To achieve this goal we intr...