6047 search results - page 751 / 1210 » Modeling with Extend |
170
click to vote
CONCUR
2005
Springer
16 years 13 days ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
204
click to vote
CTRSA
2005
Springer
16 years 13 days ago
2005
Springer
Undeniable signatures were introduced in 1989 by Chaum and van Antwerpen to limit the self-authenticating property of digital signatures. An extended concept – the convertible un...
173
click to vote
ECSQARU
2005
Springer
16 years 13 days ago
2005
Springer
Semi-revision is a model of belief change that differs from revision in that a new formula is not always accepted. Later, Fuhrmann defined multiple semi-revision by replacing a n...
203
click to vote
ER
2005
Springer
16 years 13 days ago
2005
Springer
Extract-Transform-Load (ETL) workflows are data centric workflows responsible for transferring, cleaning, and loading data from their respective sources to the warehouse. Previous ...
161
click to vote
EUROPAR
2005
Springer
16 years 13 days ago
2005
Springer
Abstract. To establish lower bounds on the amount of replication, there is a common partition argument used to construct indistinguishable executions such that one violates some pr...