Sciweavers

395 search results - page 28 / 79
» Haemo Dialysis Software Architecture Design Experiences
Sort
View
SIGSOFT
2001
ACM
14 years 8 months ago
Using aspectC to improve the modularity of path-specific customization in operating system code
Layered architecture in operating system code is often compromised by execution path-specific customizations such as prefetching, page replacement and scheduling strategies. Paths...
Yvonne Coady, Gregor Kiczales, Michael J. Feeley, ...
CANDC
2007
ACM
13 years 12 months ago
Software for systematic and imaginative exploration
This paper describes a software system that has been designed to enhance individual creativity. It was once thought that the era of information visualization would empower people ...
Daryl H. Hepting
EUROSYS
2007
ACM
14 years 5 months ago
Sealing OS processes to improve dependability and safety
In most modern operating systems, a process is a -protected abstraction for isolating code and data. This protection, however, is selective. Many common mechanisms—dynamic code ...
Galen C. Hunt, Mark Aiken, Manuel Fähndrich, ...
ROBOCUP
1998
Springer
127views Robotics» more  ROBOCUP 1998»
14 years 6 days ago
Design and Evaluation of the T-Team of the University of Tuebingen for RoboCup'98
Abstract. In this paper we present the hard- and software architecture of the robots of the T-Team Tuebingen, which participated in the RoboCup'98. This paper describes how we...
Michael Plagge, Boris Diebold, Richard Günthe...
VSTTE
2005
Springer
14 years 1 months ago
Verifying Design with Proof Scores
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
Kokichi Futatsugi, Joseph A. Goguen, Kazuhiro Ogat...