16616 search results - page 296 / 3324 » Extending Extended Vacuity |
166
click to vote
INEX
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. This paper describes the official measures of retrieval effectiveness employed in INEX 2005: the eXtended Cumulated Gain (XCG) measures. In addition, results of correlat...
158
click to vote
RULEML
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. We introduce the DR-CONTRACT architecture to represent and reason on e-Contracts. The architecture extends the DR-device architecture by a deontic defeasible logic of vio...
169
click to vote
CAISE
2004
Springer
16 years 3 days ago
2004
Springer
We suggest to extend BPEL4WS with structured activities for multiple instantiation since this is a crucial feature of a business process modelling language. In particular, we propo...
157
click to vote
ICFP
2003
ACM
15 years 12 months ago
2003
ACM
In this paper we extend the model of program variables from the Refinement Calculus [2] in order to be able to reason more algebraically about recursive procedures with parameter...
189
Voted
CRYPTO
2001
Springer
15 years 11 months ago
2001
Springer
in SIAM J. of Computing, Vol. 32, No. 3, pp. 586-615, 2003. An extended abstract of this paper appears in the Proceedings of Crypto 2001, volume 2139 of Lecture Notes in Computer S...