Sciweavers

4386 search results - page 393 / 878
» A Tamper-Resistant Programming Language System
Sort
View
ERLANG
2004
ACM
16 years 4 days ago
Monitoring and state transparency of distributed systems
This paper presents the System Status suite of applications. These applications are used to provide a simple, uniform, and low developer cost system for exporting and tracking the...
Martin J. Logan
FM
2003
Springer
107views Formal Methods» more  FM 2003»
15 years 12 months ago
Verifying Emulation of Legacy Mission Computer Systems
Processor obsolescence is a serious maintenance problem for long-lived embedded control systems. A practical solution is to interpose an emulator program between the ‘legacy’ s...
Colin J. Fidge
PG
2002
IEEE
15 years 11 months ago
Lworld: An Animation System Based on Rewriting
Lworld is a computer graphics animation system based on L-systems, a parallel rewriting technique used primarily in computer graphics for plant modeling. Because rulebased program...
Hansrudi Noser
ICIAP
1995
ACM
15 years 10 months ago
PhotoPix: an Object-Oriented Framework for Digital Image Processing Systems
This work describes how the use of object-oriented technology can help to separate the implementation of algorithms in digital image processing systems from the coding of “non-es...
Alisson Augusto Souza Sol, Arnaldo de Albuquerque ...
ICDCS
1998
IEEE
15 years 11 months ago
Flexible Exception Handling in the OPERA Process Support System
Exceptions are one of the most pervasive problems in process support systems. In installations expected to handle a large number of processes, having exceptions is bound to be a n...
Claus Hagen, Gustavo Alonso