5228 search results - page 414 / 1046 » Case Studies for Software Engineers |
296
click to vote
UIST
1991
ACM
15 years 11 months 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...
194
click to vote
EDBTW
2010
Springer
15 years 11 months 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...
209
click to vote
FOSSACS
2010
Springer
15 years 11 months 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...
201
click to vote
FOSSACS
2008
Springer
15 years 9 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...
255
click to vote
AVI
2010
15 years 8 months ago
2010
Content classification performed by end users is spreading through the web. Most of the work done so far is related to the hypermedia web. In spite of that, there is a growing mas...