733 search results - page 33 / 147 » Active Automation of the DITSCAP |
WECWIS
2003
IEEE
15 years 2 months ago
2003
IEEE
The great amount of information that a user handles in their typical transactions on the Internet –identifiers, addresses, credit card numbers, among others-, makes it necessary...
JAR
2006
14 years 9 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...
ICSM
2003
IEEE
15 years 2 months ago
2003
IEEE
In this paper, we show how elaborate support for framework-based software evolution can be provided based on explicit documentation of the hot spots of object-oriented application...
ECWEB
2000
Springer
15 years 2 months ago
2000
Springer
In this paper we propose an e-commerce protocol with the following features: (1) ensures true fair exchange, (2) does not require manual dispute resolution in case of unfair behavi...
IEEESCC
2007
IEEE
15 years 4 months ago
2007
IEEE
The Service-Oriented Computing (SOC) paradigm promotes the use of basic composition units – services – to support the rapid development of distributed applications. Service co...