Sciweavers

3770 search results - page 600 / 754
» Building a Stochastic Dynamic Model of Application Use
Sort
View
ICFP
2008
ACM
14 years 9 months ago
NixOS: a purely functional Linux distribution
Existing package and system configuration management tools suffer from an imperative model, where system administration actions such as upgrading packages or changes to system con...
Andres Löh, Eelco Dolstra
SOSP
2009
ACM
14 years 6 months ago
Fabric: a platform for secure distributed computation and storage
Fabric is a new system and language for building secure distributed information systems. It is a decentralized system that allows heterogeneous network nodes to securely share bot...
Jed Liu, Michael D. George, K. Vikram, Xin Qi, Luc...
HASE
2008
IEEE
14 years 3 months ago
Formal Support for Quantitative Analysis of Residual Risks in Safety-Critical Systems
With the increasing complexity in software and electronics in safety-critical systems new challenges to lower the costs and decrease time-to-market, while preserving high assuranc...
Jonas Elmqvist, Simin Nadjm-Tehrani
IWNAS
2006
IEEE
14 years 3 months ago
Towards a More Accurate Availability Evaluation
Data availability evaluation is the crucial problem to build large-scale, high available peer-to-peer storage systems by governing many unreliable hosts. However, many recent stud...
Zhi Yang, Jing Tian, Yafei Dai
NIME
2005
Springer
107views Music» more  NIME 2005»
14 years 2 months ago
The Role of Time in Engineering Computer Music Systems
Discussion of time in interactive computer music systems engineering has been largely limited to data acquisition rates and latency. Since music is an inherently time-based medium...
Eric Lee, Jan Borchers