8587 search results - page 60 / 1718 » Interactive dynamic abstraction |
FMOODS
2006
13 years 10 months ago
2006
Abstract. We use a distributed, enriched -calculus for describing networks of services. Both services and their clients can protect themselves, by imposing security constraints on ...
DAGSTUHL
2003
13 years 10 months ago
2003
Abstract. This study is intended to deal with the interdependency between control and body systems, and to discuss the “relationship as it should be” between these two systems....
WOA
2001
13 years 10 months ago
2001
Abstract--In the network-centric computing era, applications often involve sets of autonomous, unpredictable, and possibly mobile entities interacting within open, dynamic, and pos...
MHCI
2004
Springer
14 years 2 months ago
2004
Springer
We describe the implementation of an interaction technique which allows users to store and retrieve information and computational functionality on different parts of their body. W...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
: Fully abstract trace semantics for a core Java language. Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, ...