13489 search results - page 2472 / 2698 » Self-migration of operating systems |
156
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...
169
click to vote
SACMAT
2009
ACM
16 years 1 months ago
2009
ACM
Collaborative and distributed applications, such as dynamic coalitions and virtualized grid computing, often require integrating access control policies of collaborating parties. ...
153
click to vote
ACSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Cross-site Scripting (XSS) has emerged to one of the most prevalent type of security vulnerabilities. While the reason for the vulnerability primarily lies on the serverside, the ...
165
click to vote
CCGRID
2008
IEEE
16 years 1 months ago
2008
IEEE
—Accurate fault detection is a key element of resilient computing. Syslogs provide key information regarding faults, and are found on nearly all computing systems. Discovering ne...
139
click to vote
CEC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Evolutionary optimization of a gait for a bipedal robot has been studied, combining structural and parametric modifications of the system responsible for generating the gait. ...