Sciweavers

1329 search results - page 99 / 266
» Analysis of Dynamic Communicating Systems by Hierarchical Ab...
Sort
View
CONCUR
2003
Springer
14 years 3 months ago
A Compositional Semantic Theory for Synchronous Component-based Design
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
Barry Norton, Gerald Lüttgen, Michael Mendler
POPL
2003
ACM
14 years 10 months ago
A generic approach to the static analysis of concurrent programs with procedures
We present a generic aproach to the static analysis of concurrent programs with procedures. We model programs as communicating pushdown systems. It is known that typical dataflow ...
Ahmed Bouajjani, Javier Esparza, Tayssir Touili
HAPTICS
2010
IEEE
14 years 2 months ago
Stability Analysis of Mobile Robot Teleoperation with Variable Force Feedback Gain
Abstract. We analyze the stability of previously proposed mobile robot teleoperation system [7]. Unlike to other approaches human-operator dynamics is included for the stability an...
Ildar Farkhatdinov, Jee-Hwan Ryu
SDM
2004
SIAM
211views Data Mining» more  SDM 2004»
13 years 11 months ago
Using Support Vector Machines for Classifying Large Sets of Multi-Represented Objects
Databases are a key technology for molecular biology which is a very data intensive discipline. Since molecular biological databases are rather heterogeneous, unification and data...
Hans-Peter Kriegel, Peer Kröger, Alexey Pryak...
ICC
2007
IEEE
147views Communications» more  ICC 2007»
14 years 4 months ago
A Cooperative AIS Framework for Intrusion Detection
Abstract— We present a cooperative intrusion detection approach inspired by biological immune system principles and P2P communication techniques to develop a distributed anomaly ...
Katja Luther, Rainer Bye, Tansu Alpcan, Achim M&uu...