Sciweavers

5684 search results - page 504 / 1137
» Computing with active dendrites
Sort
View
ICSOC
2005
Springer
16 years 11 days ago
Dynamo: Dynamic Monitoring of WS-BPEL Processes
Abstract. Dynamo advocates that pre-deployment validation and testing are intrinsically inadequate for tackling the ephemeral and rapidly changing context in which service oriented...
Luciano Baresi, Sam Guinea
POLICY
2005
Springer
16 years 11 days ago
An Audit Logic for Accountability
We describe a policy language and implement its associated proof checking system. In our system, agents can distribute data along with usage policies in a decentralized architectu...
J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, ...
SG
2005
Springer
16 years 10 days ago
Interface Currents: Supporting Fluent Collaboration on Tabletop Displays
Abstract. Large horizontal displays provide new opportunities to support individual and collaborative activities such as creativity and organizational tasks. We present Interface C...
Uta Hinrichs, M. Sheelagh T. Carpendale, Stacey D....
NORDICHI
2004
ACM
16 years 9 days ago
Requirements for a multimedia museum environment
In this paper we describe a two-part study that was used to establish the requirements for an interactive museum environment for children aged between 5 and 10. The paper outlines...
Emanuela Mazzone, Matthew Horton, Janet C. Read
ICTAC
2004
Springer
16 years 7 days ago
Switched Probabilistic I/O Automata
A switched probabilistic I/O automaton is a special kind of probabilistic I/O automaton (PIOA), enriched with an explicit mechanism to exchange control with its environment. Every ...
Ling Cheung, Nancy A. Lynch, Roberto Segala, Frits...