852 search results - page 129 / 171 » entcs 2010 |
103
click to vote
ENTCS
2006
15 years 13 days ago
2006
Web services represent a challenge and an opportunity for organizations wishing to expose product and services offerings through the Internet. The Web service technology provides ...
122
Voted
ENTCS
2006
15 years 13 days ago
2006
The provision of health-care services and home assistance to the elderly and chronic patients is a challenging application scenario for Web Services composition, which support the...
109
click to vote
ENTCS
2006
15 years 13 days ago
2006
We describe our efforts to use rule-based programming to produce a model of Jumbo, a run-time program generation (RTPG) system for Java. Jumbo incorporates RTPG following the simp...
103
click to vote
ENTCS
2006
15 years 13 days ago
2006
We present the first cryptographically sound security proof of the well-known Otway-Rees protocol. More precisely, we show that the protocol is secure against arbitrary active att...
112
click to vote
ENTCS
2006
15 years 13 days ago
2006
We report on an experiment in combining Isabelle with automatic first-order arithmetic provers to increase automation on the verification of distributed protocols. As a case study...