357 search results - page 21 / 72 » Verifying properties of process definitions |
AUIC
2003
IEEE
14 years 24 days ago
2003
IEEE
Authentication is a security service that consists of verifying that someone’s identity is as claimed. There are a number of challenges to presenting information from the authen...
IJWET
2006
13 years 7 months ago
2006
: Business processes provide abstractions for modelling business protocols that define the correct interactions between two or more Web services (WS). It has been shown that it is ...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
FS
2006
13 years 7 months ago
2006
We prove a general version of the super-replication theorem, which applies to Kabanov's model of foreign exchange markets under proportional transaction costs. The market is ...
CG
2004
Springer
13 years 7 months ago
2004
Springer
We present a framework for processing point-based surfaces via partial differential equations (PDEs). Our framework efficiently and effectively brings well-known PDE-based process...