1405 search results - page 234 / 281 » Software engineering for and with artists: a case study |
UIST
1991
ACM
14 years 8 days ago
1991
ACM
The Polhemus Isotrak is often used as an orientation and position tracking device in virtual reality environments. When it is used to dynamically determine the user's viewpoi...
EDBTW
2010
Springer
14 years 3 days ago
2010
Springer
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...
FOSSACS
2010
Springer
14 years 3 days ago
2010
Springer
Abstract. The enriched effect calculus is an extension of Moggi's computational metalanguage with a selection of primitives from linear logic. In this paper, we present an ext...
ESEM
2009
ACM
14 years 1 days ago
2009
ACM
The goal of this work is to visualize inheritance in objectoriented programs to help its comprehension. We propose a single, compact view of all class hierarchies at once using a ...
FOSSACS
2008
Springer
13 years 10 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...