1113 search results - page 28 / 223 » Counter Systems for Data Logics |
128
click to vote
FUZZIEEE
2007
IEEE
15 years 10 months ago
2007
IEEE
—Sailing experts can explain basic sailing skills by rules about how to steer sails and rudder according to direction of target and wind. This paper describes how to transform th...
138
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
Cyber-physical systems (CPS) are becoming ubiquitous. Almost every device today has a controller that reads inputs through sensors, does some processing and then performs actions t...
130
click to vote
PTS
2007
15 years 5 months ago
2007
: The success and the acceptance of intrusion detection systems essentially depend on the accuracy of their analysis. Inaccurate signatures strongly trigger false alarms. In practi...
253
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
Distributed Hash Tables (DHTs) provide a scalable solution for data sharing in P2P systems. To ensure high data availability, DHTs typically rely on data replication, yet without ...
175
Voted
PODS
2007
ACM
16 years 4 months ago
2007
ACM
IP packet streams consist of multiple interleaving IP flows. Statistical summaries of these streams, collected for different measurement periods, are used for characterization of ...