Sciweavers

2520 search results - page 150 / 504
» Model-checking behavioral programs
Sort
View
177
Voted
GLOBECOM
2010
IEEE
15 years 3 months ago
Optimal Pricing for Mobile Video Streaming Using Behavior Analysis
Mobile phones are among the most popular consumer devices and the recent developments of 3G networks and smart phones enable users to watch video programs by subscribing data plan...
W. Sabrina Lin, K. J. Ray Liu
WWW
2004
ACM
16 years 5 months ago
XVM: a bridge between xml data and its behavior
XML has become one of the core technologies for contemporary business applications, especially web-based applications. To facilitate processing of diverse XML data, we propose an ...
Quanzhong Li, Michelle Y. Kim, Edward So, Steve Wo...
115
Voted
DATE
2010
IEEE
127views Hardware» more  DATE 2010»
15 years 10 months ago
A generalized control-flow-aware pattern recognition algorithm for behavioral synthesis
— Pattern recognition has many applications in design automation. A generalized pattern recognition algorithm is presented in this paper which can efficiently extract similar pat...
Jason Cong, Hui Huang, Wei Jiang
ACMICEC
2007
ACM
102views ECommerce» more  ACMICEC 2007»
15 years 9 months ago
Security when people matter: structuring incentives for user behavior
Humans are "smart components" in a system, but cannot be directly programmed to perform; rather, their autonomy must be respected as a design constraint and incentives p...
Rick Wash, Jeffrey K. MacKie-Mason
PARCO
2003
15 years 6 months ago
Cache Memory Behavior of Advanced PDE Solvers
Three different partial differential equation (PDE) solver kernels are analyzed in respect to cache memory performance on a simulated shared memory computer. The kernels implement...
Dan Wallin, Henrik Johansson, Sverker Holmgren