1231 search results - page 203 / 247 » A Framework for Belief Update |
POPL
2010
ACM
14 years 6 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
As storage-outsourcing services and resource-sharing networks have become popular, the problem of efficiently proving the integrity of data stored at untrusted servers has receiv...
SMA
2009
ACM
14 years 3 months ago
2009
ACM
Collision detection in geometrically complex scenes is crucial in physical simulations and real time applications. Works based on spatial hierarchical structures have been propose...
SIGCOMM
2004
ACM
14 years 2 months ago
2004
ACM
Name services are critical for mapping logical resource names to physical resources in large-scale distributed systems. The Domain Name System (DNS) used on the Internet, however,...
ICSM
2002
IEEE
14 years 1 months ago
2002
IEEE
Software is multidimensional but the tools that support it are not. The lack of tool support causes the software artifacts representing different dimensions to evolve independentl...