Sciweavers

3302 search results - page 280 / 661
» Software Is More Than Code
Sort
View
151
Voted
SOSP
1997
ACM
15 years 8 months ago
The Flux OSKit: A Substrate for Kernel and Language Research
Implementing new operating systems is tedious, costly, and often impractical except for large projects. The Flux OSKit addresses this problem in a novel way by providing clean, we...
Bryan Ford, Godmar Back, Greg Benson, Jay Lepreau,...
CORR
2006
Springer
103views Education» more  CORR 2006»
15 years 6 months ago
Prolog Server Pages
Prolog Server Pages (PSP) is a scripting language, based on Prolog, than can be embedded in HTML documents. To run PSP applications one needs a web server, a web browser and a PSP...
Alin Suciu, Kalman Pusztai, Andrei Vancea
NIME
2001
Springer
145views Music» more  NIME 2001»
15 years 11 months ago
New Musical Interfaces and New Music-making Paradigms
The conception and design of new musical interfaces is a multidisciplinary area that tightly relates technology and artistic creation. In this paper, the author first exposes some...
Sergi Jordà
DGO
2003
118views Education» more  DGO 2003»
15 years 8 months ago
Enabling Email Confidentiality through the use of Opportunistic Encryption
Software for encrypting email messages has been widely available for more than 15 years, but the emailusing public has failed to adopt secure messaging. This failure can be explai...
Simson L. Garfinkel
KBSE
2002
IEEE
15 years 11 months ago
Deviation Analysis Through Model Checking
Inaccuracies, or deviations, in the measurements of monitored variables in a control system are facts of life that control software must accommodate—the software is expected to ...
Mats Per Erik Heimdahl, Yunja Choi, Michael W. Wha...