1569 search results - page 118 / 314 » Towards the interactive office |
160
click to vote
CSL
2004
Springer
15 years 10 months ago
2004
Springer
Using separation logic, this paper presents three Hoare logics (corresponding to different notions of correctness) for the simple While language extended with commands for heap acc...
161
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...
152
click to vote
BMAS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper discusses aBlox - a specification notation that we defined for automated synthesis of mixed-signal systems. aBlox addresses two important aspects of mixed-signal system...
166
click to vote
IADIS
2004
15 years 7 months ago
2004
Our research aims to further our understanding of Information Retrieval for management of knowledge within the Grid environment. We do so by developing a search and categorisation...
157
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
Mutually-Immersive Mobile Telepresence uses a teleoperated robotic surrogate to visit remote locations as a substitute for physical travel. Our goal is to recreate to the greatest...