733 search results - page 33 / 147 » Active Automation of the DITSCAP |
178
click to vote
WECWIS
2003
IEEE
15 years 12 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...
162
click to vote
JAR
2006
15 years 6 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...
174
click to vote
ICSM
2003
IEEE
15 years 12 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...
173
click to vote
ECWEB
2000
Springer
15 years 11 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...
142
Voted
IEEESCC
2007
IEEE
16 years 26 days 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...