3843 search results - page 484 / 769 » System support for shared objects |
177
click to vote
DLS
2007
15 years 10 months ago
2007
Mirror-based systems are object-oriented reflective architectures built around a set of design principles that lead to reflective APIs which foster a high degree of reusability, l...
170
click to vote
SPIN
2000
Springer
15 years 10 months ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
185
click to vote
IAAI
1993
15 years 8 months ago
1993
This paper describes COMPAQ QuickSource, an electronic problem-solving and information system for Compaq’s line of networked printers. A major goal in designing this system was ...
167
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In most of the existing approaches to the design of multiagent systems, there is no clear way in which to relate organisational and normative structures to the model of the enviro...
147
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
The Northern Region of the USDA Forest Service is using the Ecosystem Management Decision Support System (EMDS) to evaluate ecosystem sustainability for National Forest plan revis...