3256 search results - page 512 / 652 » Applications of Formal Methods to System Design and Verifica... |
ACMACE
2005
ACM
15 years 3 months ago
2005
ACM
Over the past few years, the prominence of multiplayer network gaming has increased dramatically in the Internet. The effect of network delay (lag) on multiplayer network gaming h...
ASPLOS
2010
ACM
15 years 4 months ago
2010
ACM
The Local Outlier Factor (LOF) is a very powerful anomaly detection method available in machine learning and classification. The algorithm defines the notion of local outlier in...
MOBISYS
2006
ACM
15 years 9 months ago
2006
ACM
Location determination of mobile users within a building has attracted much attention lately due to its many applications in mobile networking including network intrusion detectio...
VISUALIZATION
2005
IEEE
15 years 3 months ago
2005
IEEE
VisTrails is a new system that enables interactive multiple-view visualizations by simplifying the creation and maintenance of visualization pipelines, and by optimizing their exe...
CORR
2011
Springer
14 years 1 months ago
2011
Springer
Network virtualization allows one to build dynamic distributed systems in which resources can be dynamically allocated at locations where they are most useful. In order to fully e...