198 search results - page 16 / 40 » Describing Secure Interfaces with Interface Automata |
FC
2005
Springer
14 years 4 months ago
2005
Springer
We suggest a general paradigm of using large-scale distributed computation to solve difficult problems, but where humans can act as agents and provide candidate solutions. We are e...
HPDC
2002
IEEE
14 years 3 months ago
2002
IEEE
A novel component-based, service-oriented framework for distributed metacomputing is described. Adopting a provider-centric view of resource sharing, this project emphasizes light...
FM
2005
Springer
14 years 4 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
WWW
2001
ACM
14 years 11 months ago
2001
ACM
The XML Key Management Specification (XKMS) is described. XKMS is a Web Service that provides an interface between an XML application and a Public Key Infrastructure (PKI). XKMS g...
ICDCSW
2003
IEEE
14 years 4 months ago
2003
IEEE
The increasing use of computers to manage everyday business poses problems for workers when they are away from their home environment. There are two key problems: • How can a mo...