Sciweavers

7776 search results - page 241 / 1556
» Maintaining Maintainability
Sort
View
IWFM
2000
162views Formal Methods» more  IWFM 2000»
15 years 8 months ago
Modal Logics for Reasoning about Object-based Component Composition
Component-oriented development of software supports the adaptability and maintainability of large systems, in particular if requirements change over time and parts of a system hav...
Claus Pahl
ECSCW
1997
15 years 8 months ago
Supporting Groupware Conventions through Contextual Awareness
: Conventions are an important part of articulation work. They are a means to merge the various perspectives and workstyles that are involved in handling shared objects in CSCW. We...
Gloria Mark, Ludwin Fuchs, Markus Sohlenkamp
IJCAI
1997
15 years 8 months ago
Distributed Vision System: A Perceptual Information Infrastructure for Robot Navigation
This paper proposes a Distributed Vision System as a Perceptual Information Infrastructure for robot navigation in a dynamically changing world. The distributed vision system, con...
Hiroshi Ishiguro
IJCAI
1997
15 years 8 months ago
Ten Challenges in Propositional Reasoning and Search
The past several years have seen much progress in the area of propositional reasoning and satisfiability testing. There is a growing consensus by researchers on the key technical ...
Bart Selman, Henry A. Kautz, David A. McAllester
WSC
1998
15 years 8 months ago
Hierarchical Modular Modelling in Discrete Simulation
The increasing use of discrete simulation in modelling large and complex systems brings new challenges. One such challenge is the need to devise ways of developing modular approac...
Michael Pidd, R. Bayer Castro