5623 search results - page 860 / 1125 » Estimating in Actual Time |
169
click to vote
GLOBECOM
2008
IEEE
15 years 7 months ago
2008
IEEE
— Recently, establishing a VoIP call using a P2P network instead of regular SIP-servers has been proposed; this novel approach to SIP-signaling is commonly referred to as P2PSIP ...
181
click to vote
ICFP
2010
ACM
15 years 7 months ago
2010
ACM
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
182
click to vote
AIPS
2010
15 years 7 months ago
2010
We introduce the Scanalyzer planning domain, a domain for classical planning which models the problem of automatic greenhouse logistic management. At its mathematical core, the Sc...
198
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Online social networks (OSNs) are popular collaboration and communication tools for millions of users and their friends. Unfortunately, in the wrong hands, they are also effective...
228
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Models based on system calls are a popular and common approach to characterize the run-time behavior of programs. For example, system calls are used by intrusion detection systems...