8312 search results - page 1328 / 1663 » Performance data collection using a hybrid approach |
230
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
179
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
182
click to vote
NETGAMES
2006
ACM
16 years 24 days ago
2006
ACM
In first person shooter (FPS) games the round trip time (RTT) (delay, or ‘lag’) between a client and server is an important criterion for players when deciding which server to ...
220
click to vote
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
Intrusion detection systems (IDSs) attempt to identify attacks by comparing collected data to predefined signatures known to be malicious (misuse-based IDSs) or to a model of lega...
239
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
In this work we consider the problem of monitoring information streams for anomalies in a scalable and efficient manner. We study the problem in the context of network streams wher...