2025 search results - page 130 / 405 » On the Utility of Inference Mechanisms |
JFP
2006
13 years 9 months ago
2006
XML data are described by types involving regular expressions. This raises the question of what language feature is convenient for manipulating such data. Previously, we have give...
FUIN
2007
13 years 9 months ago
2007
Proof-carryingcode provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set o...
PLDI
2009
ACM
14 years 10 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
MUE
2007
IEEE
14 years 3 months ago
2007
IEEE
Telematics services are more useful when local hotspot services are provided by distributed third-party providers in addition to the services supplied by central telematics servic...
WEBI
2004
Springer
14 years 2 months ago
2004
Springer
Many situations present a social choice problem where different self-interested agents have to agree on joint, coordinated decisions. For example, power companies have to agree o...