106 search results - page 9 / 22 » Architectural Repair of Open Source Software |
116
Voted
MSS
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper describes a new architecture for device drivers for tape drives attached to UNIX-like systems. The design goals are presented, some current architectures are measured a...
182
click to vote
SDL
2007
15 years 6 months ago
2007
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
127
click to vote
HIPEAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
181
Voted
JSAT
2010
14 years 11 months ago
2010
Sat4j is a mature, open source library of SAT-based solvers in Java. It provides a modular SAT solver architecture designed to work with generic constraints. Such architecture is ...
121
Voted
WIKIS
2006
ACM
15 years 11 months ago
2006
ACM
In this paper we describe an emerging form of wikis - wikis of locality – that support physical rather than virtual communities. We draw on our experience as administrators of t...