1299 search results - page 142 / 260 » On the Correctness of Operating System Kernels |
146
click to vote
CDC
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
135
click to vote
IJCIM
2002
15 years 4 months ago
2002
This paper presents a new distributed real-time control architecture for flexibly automated production systems. The modelling assumptions underlying the design en by, and abstract,...
136
click to vote
MIDDLEWARE
2004
Springer
15 years 10 months ago
2004
Springer
In pervasive computing environments, conditions are highly variable and resources are limited. In order to meet the needs of applications, systems must adapt dynamically to changi...
132
click to vote
NOSSDAV
2004
Springer
15 years 10 months ago
2004
Springer
— We present the design, implementation, and performance evaluation of AMPS — a flexible, scalable proxy testbed that supports a wide and extensible set of next-generation pro...
134
click to vote
ICSM
2002
IEEE
15 years 9 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....