Sciweavers

985 search results - page 85 / 197
» Abstract Interactions and Interaction Refinement in Model-Dr...
Sort
View
151
Voted
SFP
2003
15 years 5 months ago
O'Camelot: adding objects to a resource-aware functional language
Abstract: We outline an object-oriented extension to Camelot, a functional language in the ML family designed for resource aware computation. Camelot is compiled for the Java Virtu...
Nicholas Wolverson, Kenneth MacKenzie
108
Voted
ACSD
2004
IEEE
118views Hardware» more  ACSD 2004»
15 years 7 months ago
Verification and Implementation of Delay-Insensitive Processes in Restrictive Environments
Abstract. A delay-insensitive module communicates with its environment through wires of unbounded delay. To avoid transmission interference, the absorption of a signal transition m...
Hemangee K. Kapoor, Mark B. Josephs, Dennis P. Fur...
121
Voted
CADUI
2004
15 years 5 months ago
Building Rich User Interfaces for Digital Talking Books
: This paper presents a framework for the automatic production of Digital Talking Books (DTB). The production process converts existing audio tapes and OCR-based digitalization of ...
Luís Carriço, Carlos Duarte, Rui Lop...
100
Voted
BPM
2005
Springer
108views Business» more  BPM 2005»
15 years 9 months ago
From RosettaNet PIPs to BPEL Processes: A Three Level Approach for Business Protocols
Abstract. Business protocols in n-party interactions often require centralized protocol design but decentralized execution without the intervention of the designing party. In this ...
Rania Khalaf
123
Voted
CHI
1995
ACM
15 years 7 months ago
Belvedere: stimulating students' critical discussion
We describe “Belvedere,” a system to support students engaged in critical discussion of science and public policy issues. The design is intended to address cognitive and metac...
Massimo Paolucci, Daniel D. Suthers, Arlene Weiner