Sciweavers

5170 search results - page 384 / 1034
» A Document-Oriented Approach to the Development of Knowledge...
Sort
View
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 4 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
IAT
2007
IEEE
16 years 1 months ago
Design and Evaluation of a Multiagent Autonomic Information System
The goal of an autonomic system is to self-manage itself and adjust its actions in the face of environmental changes. In this paper, we adopt a multiagent approach to developing a...
Walamitien H. Oyenan, Scott A. DeLoach
ISSRE
2010
IEEE
15 years 5 months ago
Automata-Based Verification of Security Requirements of Composite Web Services
— With the increasing reliance of complex real-world applications on composite web services assembled from independently developed component services, there is a growing need for...
Hongyu Sun, Samik Basu, Vasant Honavar, Robyn R. L...
SGAI
2005
Springer
16 years 9 days ago
Experience with Ripple-Down Rules
Ripple-Down Rules (RDR) is an approach to building knowledgebased systems (KBS) incrementally, while the KBS is in routine use. Domain experts build rules as a minor extension to ...
Paul Compton, Lindsay Peters, Glenn Edwards, Tim G...
COMPSAC
2009
IEEE
15 years 10 months ago
Toward Middleware-Based Online Application Migration
—As an effective approach to maintain software system without interrupting the service, online migration has been applied for many goals, e.g. achieving a higher system performan...
Fang Deng, Qianxiang Wang, Jin Shao