14190 search results - page 2492 / 2838 » Abstractions for hybrid systems |
191
click to vote
FC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Private keyword search is a technique that allows for searching and retrieving documents matching certain keywords without revealing the search criteria. We improve the s...
229
click to vote
FORMATS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. We describe a partial order reduction technique for a realtime component model. Components are described as timed automata with data ports, which can be composed in stati...
194
click to vote
SP
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—In network intrusion detection research, one popular strategy for finding attacks is monitoring a network’s activity for anomalies: deviations from profiles of norma...
198
click to vote
GW
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The understanding of different bowing strategies can provide key concepts for the modelling of music performance. We report here an exploratory study of bowing gestures f...
231
click to vote
FCCM
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract--The Cibola Flight Experiment (CFE) is an experimental small satellite developed at the Los Alamos National Laboratory to demonstrate the feasibility of using FPGA-based r...