Sciweavers

1446 search results - page 229 / 290
» Formal analysis of hardware requirements
Sort
View
GI
2009
Springer
13 years 5 months ago
Modelling Missing Values for Audience Measurement in Outdoor Advertising Using GPS Data
Abstract: GPS technology has made it possible to evaluate the performance of outdoor advertising campaigns in an objective manner. Given the GPS trajectories of a sample of test pe...
Michael May, Christine Körner, Dirk Hecker, M...
GI
2010
Springer
13 years 5 months ago
Query Languages for Semantic Web Services
: Even though service discovery is one of the vital steps in Web service invocation, service requests are usually expressed by rather simple means. While syntax-based service descr...
Stefan Schulte 0002, Melanie Siebenhaar, Julian Ec...
ACNS
2011
Springer
244views Cryptology» more  ACNS 2011»
12 years 11 months ago
Quantitatively Analyzing Stealthy Communication Channels
Abstract. Attackers in particular botnet controllers use stealthy messaging systems to set up large-scale command and control. Understanding the capacity of such communication chan...
Patrick Butler, Kui Xu, Danfeng (Daphne) Yao
CLIMA
2011
12 years 7 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
KDD
2012
ACM
292views Data Mining» more  KDD 2012»
11 years 10 months ago
Online allocation of display ads with smooth delivery
Display ads on the Internet are often sold in bundles of thousands or millions of impressions over a particular time period, typically weeks or months. Ad serving systems that ass...
Anand Bhalgat, Jon Feldman, Vahab S. Mirrokni