Sciweavers

5101 search results - page 502 / 1021
» Capturing Context Requirements
Sort
View
ICSM
1998
IEEE
15 years 11 months ago
Improving Visual Impact Analysis
Visual impact analysis is a software visualisation technique that lets software maintainers judge the impact of proposed changes and plan maintenance accordingly. An existing CASE...
Matthew A. Hutchins, Keith Gallagher
SPIN
1999
Springer
15 years 11 months ago
Assume-Guarantee Model Checking of Software: A Comparative Case Study
A variety of assume-guarantee model checking approaches have been proposed in the literature. In this paper, we describe several possible implementations of those approaches for ch...
Corina S. Pasareanu, Matthew B. Dwyer, Michael Hut...
VLDB
1999
ACM
124views Database» more  VLDB 1999»
15 years 11 months ago
Cost Models DO Matter: Providing Cost Information for Diverse Data Sources in a Federated System
An important issue for federated systems of diverse data sources is optimizing cross-source queries, without building knowledge of individual sources into the optimizer. This pape...
Mary Tork Roth, Fatma Ozcan, Laura M. Haas
CG
1998
Springer
15 years 11 months ago
Relevance Cuts: Localizing the Search
Humans can e ectively navigate through large search spaces, enabling them to solve problems with daunting complexity. This is largely due to an ability to successfully distinguish ...
Andreas Junghanns, Jonathan Schaeffer
ECAI
1998
Springer
15 years 11 months ago
The Intentions of Teams: Team Structure, Endodeixis, and Exodeixis
Abstract. Teams arise in a number of important multiagent applications. Several theories of intentions for teams have been proposed. By and large, these theories tend to model team...
Munindar P. Singh