Sciweavers

2740 search results - page 442 / 548
» Approximating Component Selection
Sort
View
135
Voted
CONCUR
1999
Springer
15 years 4 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
96
Voted
WETICE
1999
IEEE
15 years 4 months ago
Replacing Copies with Connections: Managing Software across the Virtual Organization
The Internet, the World Wide Web, JavaTM technology, and software components are changing the software business. Activities traditionally constrained by the need for intense infor...
Tobias Murer, Michael L. Van de Vanter
ICCVW
1999
Springer
15 years 4 months ago
A General Method for Feature Matching and Model Extraction
Abstract. Popular algorithms for feature matching and model extraction fall into two broad categories, generate-and-test and Hough transform variations. However, both methods su er...
Clark F. Olson
109
Voted
ICSE
1999
IEEE-ACM
15 years 4 months ago
Software Architecture Classification for Estimating the Cost of COTS Integration
i The use of commercial-off-the-shelf (COTS) products creates a software integration problem, whether a single COTS software component is being integrated into a software system, o...
Daniil Yakimovich, James M. Bieman, Victor R. Basi...
ATAL
1998
Springer
15 years 4 months ago
Intention Reconsideration Reconsidered
Abstract. In this paper, we consider the issue of designing agents that successfully balance the amount of time spent in reconsidering their intentions against the amount of time s...
Michael Wooldridge, Simon Parsons