793 search results - page 103 / 159 » Protocol Modeling with Model Program Composition |
CCS
2007
ACM
14 years 3 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
ICALP
2004
Springer
14 years 2 months ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
WWW
2006
ACM
14 years 3 months ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
JMM2
2008
13 years 9 months ago
2008
We have developed a novel software program called `Predict Your Child' that, given photographs of potential parent faces, generates plausible looking children. The parent phot...
ECOOP
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...