794 search results - page 98 / 159 » Automatically Analyzing Software Processes: Experience Repor... |
88
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Web service processes currently lack monitoring and dynamic (runtime) adaptation mechanisms. In highly dynamic processes, services frequently need to be exchanged due to a variety...
ACMICEC
2003
ACM
15 years 5 months ago
2003
ACM
The Platform for Privacy Preferences (P3P) provides a standard computer-readable format for privacy policies and a protocol that enables web browsers to read and process these pol...
140
click to vote
ISARCS
2010
15 years 2 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
137
click to vote
ISORC
2005
IEEE
15 years 6 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...
114
Voted
CBSE
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we report on a case study of correct automatic assembly of software components. We show the application of our tool (called Synthesis) for correct components assembly...