Sciweavers

3971 search results - page 178 / 795
» On the Use of Properties in Java Applications
Sort
View
GRAPHITE
2004
ACM
15 years 12 months ago
Real-time painterly rendering for MR applications
In this paper we describe a real-time system for AR/MR rendering applications in a painterly style. Impressionistic images are created using a large number of brush strokes, which...
Michael Haller, Daniel Sperl
ICCD
2002
IEEE
122views Hardware» more  ICCD 2002»
16 years 3 months ago
Using Offline and Online BIST to Improve System Dependability - The TTPC-C Example
Fault-tolerant distributed real-time systems are presently facing a lot of new challenges. Although many techniques provide effective masking of node failures on the architectural...
Andreas Steininger, Johann Vilanek
CADE
1998
Springer
15 years 10 months ago
A Combination of Nonstandard Analysis and Geometry Theorem Proving, with Application to Newton's Principia
Abstract. The theorem prover Isabelle is used to formalise and reproduce some of the styles of reasoning used by Newton in his Principia. The Principia's reasoning is resolute...
Jacques D. Fleuriot, Lawrence C. Paulson
ACMDIS
1997
ACM
15 years 10 months ago
A Teleradiology System Design Case
This paper describes the teleradiology application CHILI from the graphical user interface point of view. We present the most important design decisions taken during the construct...
Erik Borälv, Bengt Göransson
CORR
1998
Springer
100views Education» more  CORR 1998»
15 years 6 months ago
Push vs. Pull in Web-Based Network Management
In this paper, we build on the concept of embedded management application, proposed by Wellens and Auerbach, and present two models of network management application designs that ...
Jean-Philippe Martin-Flatin