Sciweavers

1583 search results - page 209 / 317
» Probabilistic User Behavior Models
Sort
View
WECWIS
2002
IEEE
130views ECommerce» more  WECWIS 2002»
14 years 22 days ago
Dynamic Netvalue Analyzer - A Pricing Plan Modeling Tool for ISPs Using Actual Network Usage Data
The current situation in the Internet service provider market shows that Internet service providers (ISPs) are still struggling to find sustainable business models. The challenge ...
Jörn Altmann, Lee Rhodes
ICDCSW
2011
IEEE
12 years 7 months ago
Cross-Examination of Datacenter Workload Modeling Techniques
Datacenter workload modeling has become a necessity in recent years due to the emergence of large-scale applications and cloud data-stores, whose implementation remains largely un...
Christina Delimitrou, Christos Kozyrakis
ATAL
2006
Springer
13 years 11 months ago
Evaluating a computational model of social causality and responsibility
Intelligent agents are typically situated in a social environment and must reason about social cause and effect. Such reasoning is qualitatively different from physical causal rea...
Wenji Mao, Jonathan Gratch
P2P
2003
IEEE
130views Communications» more  P2P 2003»
14 years 1 months ago
Peer-to-Peer Wireless LAN Consortia: Economic Modeling and Architecture
Abstract—In this paper we explore the incentive and architectural issues that arise in Consortia of Peer-to-Peer Wireless Local Area Networks. A P2P WLAN Consortium (PWC) is a co...
Panayotis Antoniadis, Costas Courcoubetis, Elias C...
TACAS
2001
Springer
125views Algorithms» more  TACAS 2001»
14 years 7 days ago
Coverage Metrics for Temporal Logic Model Checking
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
Hana Chockler, Orna Kupferman, Moshe Y. Vardi