Sciweavers

5423 search results - page 329 / 1085
» Denial-of-service in automation systems
Sort
View
AEI
1999
89views more  AEI 1999»
15 years 6 months ago
The structure of a physical behaviour description facility
Many computer simulations, experimental testing and monitoring of physical systems produce vast amounts of quantitative data. These data have always been assimilated by trained an...
S. Chandra
FM
2009
Springer
153views Formal Methods» more  FM 2009»
15 years 4 months ago
Iterative Refinement of Reverse-Engineered Models by Model-Based Testing
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
Neil Walkinshaw, John Derrick, Qiang Guo
ICFHR
2010
207views Biometrics» more  ICFHR 2010»
15 years 1 months ago
Forensic Signature Verification Competition 4NSigComp2010 - Detection of Simulated and Disguised Signatures
This competition scenario aims at a performance comparison of several automated systems for the task of signature verification. The systems have to rate the probability of authors...
Marcus Liwicki, C. Elisa van den Heuvel, Bryan Fou...
IEEECIT
2009
IEEE
16 years 1 months ago
Dynamic Software Product Lines for Service-Based Systems
—Ageing populations and the necessity to reduce environmental impact raise new challenges on our living buildings. Convergence of home control systems (air conditioning, light ma...
Paul Istoan, Grégory Nain, Gilles Perrouin,...
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 11 months ago
Reachability analysis for continuous systems under shared control: Application to user-interface design
— We extend techniques for a reachability-based ion to continuous systems under shared control, that is, systems which have both inputs controlled by the automation and inputs co...
Nikolai Matni, Meeko Oishi