2467 search results - page 336 / 494 » Finite State Machines |
100
Voted
RAID
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. Over the past few years, virtualization has been employed to environments ranging from densely populated cloud computing clusters to home desktop computers. Security rese...
71
Voted
HCI
2009
14 years 11 months ago
2009
We discuss the physiological metrics that can be measured with electroencephalography (EEG) and functional near infrared spectroscopy (fNIRs). We address the functional and practic...
132
Voted
RE
2010
Springer
14 years 7 months ago
2010
Springer
Secure software engineering is a new research area that has been proposed to address security issues during the development of software systems. This new area of research advocates...
177
click to vote
CP
2009
Springer
16 years 1 months ago
2009
Springer
Many problems require minimally perturbing an initial state in order to repair some violated constraints. We consider two search spaces for exactly solving this minimal perturbatio...
128
Voted
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
State explosion is a fundamental problem in the analysis and synthesis of discrete event systems. Continuous Petri nets can be seen as a relaxation of discrete models. The expected...