Sciweavers

1929 search results - page 46 / 386
» A Problem Space Approach to Expert System Specification
Sort
View
130
Voted
MA
1998
Springer
167views Communications» more  MA 1998»
15 years 7 months ago
Reactive Tuple Spaces for Mobile Agent Coordination
Mobile active computational entities introduce peculiar problems in the coordination of distributed application components. The paper surveys several coordination models for mobil...
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
CODES
2001
IEEE
15 years 7 months ago
Development cost and size estimation starting from high-level specifications
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...
William Fornaciari, Fabio Salice, Umberto Bondi, E...
104
Voted
AVI
2004
15 years 5 months ago
Shrinking window operations for expanding display space
Recent research and technology advances indicate that multiple monitor systems are likely to become commonplace in the near future. An important property of such systems is that t...
Dugald Ralph Hutchings, John T. Stasko
CORR
2010
Springer
64views Education» more  CORR 2010»
15 years 3 months ago
Dominion -- A constraint solver generator
Abstract This paper proposes a design for a system to generate constraint solvers that are specialised for specific problem models. It describes the design in detail and gives prel...
Lars Kotthoff
FM
1991
Springer
164views Formal Methods» more  FM 1991»
15 years 7 months ago
Formalizing Design Spaces: Implicit Invocation Mechanisms
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
David Garlan, David Notkin