433 search results - page 50 / 87 » Administrative and Public Verifiability: Can We Have Both |
CONCUR
2004
Springer
14 years 1 months ago
2004
Springer
We define a language whose type system, incorporating session types, allows complex protocols to be specified by types and verified by static typechecking. A session type, asso...
ER
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Current e-business technology enables the execution of increasingly complex coordination processes that link IT services of different companies. Successful design of cros...
BMCBI
2010
13 years 7 months ago
2010
Background: Analysis of data from high-throughput experiments depends on the availability of well-structured data that describe the assayed biomolecules. Procedures for obtaining ...
MOBICOM
2004
ACM
14 years 1 months ago
2004
ACM
Several studies have recently been performed on wireless university campus networks, corporate and public networks. Yet little is known about the flow-level characterization in s...
NIPS
2004
13 years 9 months ago
2004
This paper concerns approximate nearest neighbor searching algorithms, which have become increasingly important, especially in high dimensional perception areas such as computer v...