433 search results - page 26 / 87 » Administrative and Public Verifiability: Can We Have Both |
VMCAI
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
IEEESCC
2006
IEEE
14 years 1 months ago
2006
IEEE
The MIDAS system that we have developed is an automated supply chain management system based on the Service Oriented Architecture and Web Services. MIDAS provides a loosely-couple...
CSCW
1996
ACM
13 years 11 months ago
1996
ACM
Our experience with Internet-based scientific collaboratories indicates that they need to be user-extensible, allow users to add tools and objects dynamically to shared workspaces...
SIGMOD
2007
ACM
14 years 7 months ago
2007
ACM
Modern storage systems are sophisticated. Simple directattached storage devices are giving way to storage systems that are shared, flexible, virtualized and network-attached. Toda...
POPL
2002
ACM
14 years 7 months ago
2002
ACM
In this paper we propose a scheme that combines type inference and run-time checking to make existing C programs type safe. We describe the CCured type system, which extends that ...