14 search results - page 3 / 3 » Nix: A Safe and Policy-Free System for Software Deployment |
CASES
2005
ACM
13 years 6 months ago
2005
ACM
The lack of virtual memory protection is a serious source of unreliability in many embedded systems. Without the segment-level protection it provides, these systems are subject to...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
ECAI
2008
Springer
13 years 6 months ago
2008
Springer
In this paper we describe the Automatic Task Demonstration Generator (ATDG), a system implemented into a software prototype for teaching the operation of a robot manipulator deplo...
MOBISYS
2010
ACM
13 years 7 months ago
2010
ACM
To realize the potential of opportunistic and participatory sensing using mobile smartphones, a key challenge is ensuring the ease of developing and deploying such applications, w...