2935 search results - page 521 / 587 » An Integrated Approach to High Integrity Software Verificati... |
149
click to vote
ICWE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Web Services and Web Service composition languages for Web Service choreography are becoming more and more important in the area for inter-enterprise application and proc...
127
click to vote
MATA
2004
Springer
15 years 9 months ago
2004
Springer
Mobile agents are software entities consisting of code, data and state that can migrate autonomously from host to host executing their code. Unfortunately, security issues restrict...
149
click to vote
PDP
2003
IEEE
15 years 9 months ago
2003
IEEE
Organizations increasingly coordinate their product and service development processes to deliver their products and services as fast as possible, and to involve employees, custome...
180
click to vote
CASES
2003
ACM
15 years 9 months ago
2003
ACM
Programming multi-processor ASIPs, such as network processors, remains an art due to the wide variety of architectures and due to little support for exploring different implement...
144
click to vote
AWIC
2003
Springer
15 years 9 months ago
2003
Springer
Abstract. Complementary to hypertext navigation, classic information retrieval is broadly used to find information on the World Wide Web and on Web-based systems. Among these there...