3689 search results - page 244 / 738 » A Language with Distributed Scope |
158
click to vote
TASLP
2002
15 years 3 months ago
2002
This paper describes the main components of MiPad (Multimodal Interactive PAD) and especially its distributed speech processing aspects. MiPad is a wireless mobile PDA prototype th...
167
click to vote
CCS
2005
ACM
15 years 9 months ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
143
click to vote
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes the design, implementation, and evaluation of a Federated Array of Bricks (FAB), a distributed disk array that provides the reliability of traditional enterpr...
187
click to vote
HIPS
1998
IEEE
15 years 8 months ago
1998
IEEE
Distributed shared memory (DSM) is a paradigm for programming distributed systems, which provides an alternative to the message passing model. DSM offers the agents of the system ...
264
click to vote
POPL
2009
ACM
16 years 4 months ago
2009
ACM
This work develops an integrated approach to the verification of behaviourally rich programs, founded directly on operational semantics. The power of the approach is demonstrated ...