8316 search results - page 1293 / 1664 » Web Document Modeling |
159
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
192
click to vote
BTW
2007
Springer
16 years 1 months ago
2007
Springer
: Ontology and schema matching are well established techniques, which have been applied in various integration scenarios, e.g., web service composition and database integration. Co...
142
click to vote
BPM
2005
Springer
16 years 11 days ago
2005
Springer
We present a Petri net semantics for the Business Process Execution Language for Web Services (BPEL). Our semantics covers the standard behaviour of BPEL as well as the exceptional...
175
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
231
click to vote
IDEAS
1998
IEEE
15 years 11 months ago
1998
IEEE
We develop an infrastructure for managing, indexing and serving multimedia content in digital libraries. This infrastructure follows the model of the web, and thereby is distribut...