Sciweavers

4385 search results - page 568 / 877
» Abstraction for Concurrent Objects
Sort
View
KORSO
1995
15 years 10 months ago
TROLL light - The Language and its Development Environment
in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers,...
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf...
180
Voted
DSVIS
1994
Springer
15 years 10 months ago
A Model-Based Approach to Presentation: A Continuum from Task Analysis to Prototype
This paper presents a complete model-based approach to the building of presentation for a business oriented highly interactive application. This approach is considered complete in...
François Bodart, Anne-Marie Hennebert, Isab...
BIRTHDAY
2008
Springer
15 years 8 months ago
From Domain to Requirements
This is a discursive paper. That is, it shows some formulas (but only as examples so that the reader may be convinced that there is, perhaps, some substance to our claims), no theo...
Dines Bjørner
PERVASIVE
2010
Springer
15 years 8 months ago
Studying the Use and Utility of an Indoor Location Tracking System for Non-experts
Abstract. Indoor location tracking systems have been a major focus of ubiquitous computing research, and they have much promise to help in collecting objective, real time data for ...
Shwetak N. Patel, Julie A. Kientz, Sidhant Gupta
CONEXT
2008
ACM
15 years 8 months ago
Is there life in Second Life?
Abstract: Social virtual worlds such as Second Life are digital representations of the real world where human-controlled avatars evolve and interact through social activities. Unde...
Matteo Varvello, Fabio Picconi, Christophe Diot, E...