4356 search results - page 196 / 872 » Communicating Transactions - (Extended Abstract) |
174
click to vote
FMICS
2008
Springer
15 years 8 months ago
2008
Springer
Given the intractability of exhaustively verifying software, the use of runtime-verification, to verify single execution paths at runtime, is becoming popular. Although the use of ...
176
click to vote
AISM
2004
15 years 8 months ago
2004
The evolution of web services has facilitated the integration of business processes scattered across different geographical locations of the world. Along with the benefits that we...
178
click to vote
CSREAEEE
2006
15 years 8 months ago
2006
- The fast development in computing and communication has strongly changed the dynamics of financial markets. More people are trading online through the Web instead of using full-s...
178
click to vote
ECIS
2004
15 years 8 months ago
2004
Web site development method is at an early stage in its evolution. Most existing methods are concerned with technical software issues and are poorly adapted to help developers thi...
180
click to vote
DBSEC
2006
15 years 8 months ago
2006
We propose a notarized federated identity management model that supports efficient user authentication when providers are unknown to each other. Our model introduces a notary servi...