Sciweavers

3898 search results - page 115 / 780
» Maintaining Component-Based Systems
Sort
View
140
Voted
FLAIRS
2003
15 years 5 months ago
Hybrid Deletion Policies for Case Base Maintenance
Case memory maintenance in a Case-Based Reasoning system is important for two main reasons: (1) to control the case memory size; (2) to reduce irrelevant and redundant instances t...
Maria Salamó, Elisabet Golobardes
CAISE
2001
Springer
15 years 8 months ago
Techniques for Reactive System Design: The Tools in TRADE
Reactive systems are systems whose purpose is to maintain a certain desirable state of affairs in their environment, and include information systems, groupware, workflow systems,...
Roel Wieringa, David N. Jansen
117
Voted
CDC
2008
IEEE
15 years 10 months ago
Persistent formation control of multi-robot networks
— This paper presents a method for controlling formations of mobile robots. In particular, the problem of maintaining so-called “persistent formations” while moving the forma...
Brian Stephen Smith, Jiuguang Wang, Magnus Egerste...
152
Voted
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
15 years 9 months ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ...
Yann Zimmermann, Diana Toma
101
Voted
ACSAC
1999
IEEE
15 years 7 months ago
How to Cheat at the Lottery (or, Massively Parallel Requirements Engineering)
Collaborative software projects such as Linux and Apache have shown that a large, complex system can be built and maintained by many developers working in a highly parallel, relat...
Ross J. Anderson