1164 search results - page 195 / 233 » Case Studies in Event-Driven Control |
152
Voted
CRITIS
2007
15 years 3 months ago
2007
In a communication network, there always exist some specific servers that should be considered a critical infrastructure to be protected, specially due to the nature of the servic...
116
click to vote
FOSSACS
2008
Springer
15 years 3 months ago
2008
Springer
We study complexity issues related to the model-checking problem for LTL with registers (a.k.a. freeze LTL) over one-counter automata. We consider several classes of one-counter au...
94
Voted
ECSCW
2007
15 years 3 months ago
2007
Existing research on synchronous remote working in CSCW has highlighted the troubles that can arise because actions at one site are (partially) unavailable to remote colleagues. Su...
102
click to vote
ECIS
2004
15 years 3 months ago
2004
The methods and technologies providing advantages in controlling and managing intellectual property rights are currently associated under the term Digital Rights Management (DRM)....
105
click to vote
DAGSTUHL
2003
15 years 3 months ago
2003
Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...