Sciweavers

3414 search results - page 426 / 683
» System Support for Object Groups
Sort
View
ECRTS
2003
IEEE
15 years 11 months ago
A Real-Time RMI Framework for the RTSJ
The Real-Time Specification for Java (RTSJ) provides a platform for the development of real-time applications. However, the RTSJ does not take the distribution requirements of re...
Andrew Borg, Andy J. Wellings
DAWAK
2001
Springer
15 years 11 months ago
Towards a Novel OLAP Interface for Distributed Data Warehouses
We present a framework for visualizing remote distributed data sources using a multi-user immersive virtual reality environment. DIVE-ON is a system prototype that consolidates dis...
Ayman Ammoura, Osmar R. Zaïane, Randy Goebel
DLS
2007
133views Languages» more  DLS 2007»
15 years 10 months ago
Mirages: behavioral intercession in a mirror-based architecture
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...
Stijn Mostinckx, Tom Van Cutsem, Stijn Timbermont,...
SPIN
2000
Springer
15 years 10 months ago
A Language Framework for Expressing Checkable Properties of Dynamic Software
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...
James C. Corbett, Matthew B. Dwyer, John Hatcliff,...
IAAI
1993
15 years 7 months ago
COMPAQ QuickSource: Providing the Consumer with the Power of Artificial Intelligence
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 ...
Trung Nguyen, Mary Czerwinski, Dan Lee