1164 search results - page 119 / 233 » Case Studies in Event-Driven Control |
151
click to vote
ESANN
2004
15 years 5 months ago
2004
The twin of this paper, "Forbidden Magnification? I." [1], presents systematic SOM simulations with the explicit magnification control scheme of Bauer, Der, and Herrmann ...
128
click to vote
CHI
2006
ACM
16 years 4 months ago
2006
ACM
Non-traditional environments often change rapidly without forewarning, are difficult or impossible to control, and have other environmental and operational constraints that cannot...
121
click to vote
IFIP
2009
Springer
15 years 11 months ago
2009
Springer
A number of selected field-study techniques have been validated in a case study in the domain of railway signal boxes. The context of this work is the endeavour of a human-centred ...
127
click to vote
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
We present icTCP, an "information and control" TCP implementation that exposes key pieces of internal TCP state and allows certain TCP variables to be set in a safe fash...
144
click to vote
TAP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...