Sciweavers

2135 search results - page 242 / 427
» Supporting Unconstrained Interaction with Application Sharin...
Sort
View
SIGOPSE
2000
ACM
15 years 11 months ago
A system architecture for pervasive computing
Pervasive computing, with its focus on users and their tasks rather than on computing devices and technology, provides an attractive vision for the future of computing. But, while...
Robert Grimm, Thomas E. Anderson, Brian N. Bershad...
ICFP
2005
ACM
16 years 6 months ago
Acute: high-level programming language design for distributed computation
Existing languages provide good support for typeful programming of standalone programs. In a distributed system, however, there may be interaction between multiple instances of ma...
Peter Sewell, James J. Leifer, Keith Wansbrough, F...
ISADS
2003
IEEE
15 years 11 months ago
A GUI Approach to Programming of TMO Frames and Design of Real-Time Distributed Computing Software
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
K. H. Kim, Seok-Joong Kang
OTM
2005
Springer
15 years 12 months ago
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
Jingtao Yang, Corina Cîrstea, Peter Henderso...
CANDC
2007
ACM
15 years 10 months ago
Software for systematic and imaginative exploration
This paper describes a software system that has been designed to enhance individual creativity. It was once thought that the era of information visualization would empower people ...
Daryl H. Hepting