Sciweavers

479 search results - page 32 / 96
» Simple Modules for GRACE
Sort
View
SIGGRAPH
2009
ACM
15 years 8 months ago
Multi-touch everywhere!
In this paper, we describe a set of hardware and software tools for creating musical controllers with any flat surface or simple object, such as tables, walls, metallic plates, wo...
Alain Crevoisier, Greg Kellum
ICDIM
2007
IEEE
15 years 8 months ago
Automated and scheduled maintenance of digital library collections
In this paper, we propose a strategy for the automated and scheduled maintenance of a digital library collection. Existing systems require the user either to add new data manually...
Wendy Osborn, Steve Fox
103
Voted
SC
2004
ACM
15 years 7 months ago
Modernizing Existing Software: A Case Study
In this paper, we discuss one of our experiments using the coordination language MANIFOLD to restructure an existing sequential numerical application into a concurrent application...
C. T. H. Everaars, Farhad Arbab, Barry Koren
APN
2003
Springer
15 years 7 months ago
Model Checking Safety Properties in Modular High-Level Nets
Model checking by exhaustive state space enumeration is one of the most developed analysis methods for distributed event systems. Its main problem—the size of the state spaces—...
Marko Mäkelä
ESORICS
2003
Springer
15 years 7 months ago
Hardware Encapsulation of Security Services
Hardware security modules can be used to encapsulate simple security services that bind security functions such as decryption with authorisation and authentication. Such hardware ...
Adrian Baldwin, Simon Shiu