373 search results - page 53 / 75 » Model Checking Techniques applied to the design of Web Servi... |
LADC
2007
Springer
15 years 3 months ago
2007
Springer
Analysis and design patterns are well established as a convenient and reusable way to build high-quality object-oriented software. Patterns combine experience and good practices t...
AGTIVE
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...
ECAGENTS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. This paper designs an electronic commerce system that integrates conventional electronic commerce services with contemporary WWW advantages, such as comprehensive coverag...
ANSS
2003
IEEE
15 years 3 months ago
2003
IEEE
The main goal of the NETSEC project is to design and implement a framework for mitigating the effects of the node-based and link-based DoS attacks. Our strategy employs three lin...
EDOC
2004
IEEE
15 years 1 months ago
2004
IEEE
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...