Sciweavers

373 search results - page 53 / 75
» Model Checking Techniques applied to the design of Web Servi...
Sort
View
173
Voted
LADC
2007
Springer
16 years 6 days ago
Security Patterns and Secure Systems Design
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...
Eduardo B. Fernández
AGTIVE
2007
Springer
16 years 8 days ago
Combining Quality Assurance and Model Transformations in Business-Driven Development
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...
Jana Koehler, Thomas Gschwind, Jochen Malte Kü...
ECAGENTS
2001
Springer
127views ECommerce» more  ECAGENTS 2001»
15 years 10 months ago
User-Centered Agents for Structured Information Location
Abstract. This paper designs an electronic commerce system that integrates conventional electronic commerce services with contemporary WWW advantages, such as comprehensive coverag...
Xindong Wu, Daniel Ngu, Sameer Pradhan
ANSS
2003
IEEE
15 years 11 months ago
A Simulation Study of the Proactive Server Roaming for Mitigating Denial of Service Attacks
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...
Chatree Sangpachatanaruk, Sherif M. Khattab, Taieb...
EDOC
2004
IEEE
15 years 9 months ago
A Framework for Integrating Business Processes and Business Requirements
Service-oriented architectures and Web service infrastructure provide the ideal framework for interconnecting organizations and for defining distributed business applications. The...
Raman Kazhamiakin, Marco Pistore, Marco Roveri