197 search results - page 22 / 40 » Model Checking Control Communication of a FACTS Device |
GLOBECOM
2008
IEEE
14 years 2 months ago
2008
IEEE
—Many data center devices, for instance packet switches, can be modeled within the context of resource constrained queueing systems. In this paper, we define a novel algorithm c...
GECCO
2008
Springer
13 years 8 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
SENSYS
2006
ACM
14 years 1 months ago
2006
ACM
Extensive empirical studies presented in this paper confirm that the quality of radio communication between low power sensor devices varies significantly with time and environme...
ACSW
2003
13 years 9 months ago
2003
This paper explores the complications encountered when attempting to create a secure pervasive computing environment. The model introduced in this paper is primarily conceptual. T...
HCI
2009
13 years 5 months ago
2009
A brain-computer interface is a device that uses signals recorded from the brain to directly control a computer. In the last few years, P300-based braincomputer interfaces (BCIs) h...