662 search results - page 93 / 133 » Formalizing Basic First Order Model Theory |
CRYPTO
2006
Springer
14 years 15 days ago
2006
Springer
This paper presents the first automatic technique for proving not only protocols but also primitives in the exact security computational model. Automatic proofs of cryptographic pr...
ICFP
2003
ACM
14 years 8 months ago
2003
ACM
Functional Reactive Programming (FRP) is a framework for reactive programming in a functional setting. FRP has been applied to a number of domains, such as graphical animation, gr...
COMPSAC
2009
IEEE
14 years 1 months ago
2009
IEEE
Given the rapid rise of model-driven software development methodologies, it is highly desirable that tools be developed to support the use of design patterns in this context. This...
STOC
1993
ACM
14 years 26 days ago
1993
ACM
In this paper, we study the problem of learning in the presence of classification noise in the probabilistic learning model of Valiant and its variants. In order to identify the cl...
ENTCS
2006
13 years 8 months ago
2006
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...