83 search results - page 15 / 17 » The Sources of Certainty in Computation and Formal Systems |
166
click to vote
SIGMOD
2009
ACM
15 years 9 months ago
2009
ACM
Research has investigated mappings among data sources under two perspectives. On one side, there are studies of practical tools for schema mapping generation; these focus on algor...
GROUP
2009
ACM
15 years 3 months ago
2009
ACM
Coping with a new health issue often requires individuals to acquire knowledge and skills to manage personal health. Many patients turn to one another for experiential expertise o...
110
click to vote
ESOP
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
ACISP
2006
Springer
15 years 1 months ago
2006
Springer
Efficient authentication is one of important security requirements in mobile ad hoc network (MANET) routing systems. The techniques of digital signatures are generally considered a...
175
click to vote
SIGCOMM
2012
ACM
12 years 11 months ago
2012
ACM
ions for Network Update Mark Reitblatt Cornell Nate Foster Cornell Jennifer Rexford Princeton Cole Schlesinger Princeton David Walker Princeton Configuration changes are a common...