Sciweavers

1586 search results - page 235 / 318
» Modeling the evolution of operating systems: An empirical st...
Sort
View
ATVA
2010
Springer
142views Hardware» more  ATVA 2010»
15 years 4 months ago
On Scenario Synchronization
: Narrowing the wide conceptual gap between problem and implementation domains is considered a significant factor within software engineering. Currently, such a relation is often o...
Duc-Hanh Dang, Anh-Hoang Truong, Martin Gogolla
IMC
2007
ACM
15 years 7 months ago
Understanding the limitations of transmit power control for indoor wlans
A wide range of transmit power control (TPC) algorithms have been proposed in recent literature to reduce interference and increase capacity in 802.11 wireless networks. However, ...
Vivek Shrivastava, Dheeraj Agrawal, Arunesh Mishra...
BIRTHDAY
2004
Springer
15 years 11 months ago
Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
Mark-Oliver Stehr, José Meseguer
KDD
2008
ACM
209views Data Mining» more  KDD 2008»
16 years 6 months ago
Combinational collaborative filtering for personalized community recommendation
Rapid growth in the amount of data available on social networking sites has made information retrieval increasingly challenging for users. In this paper, we propose a collaborativ...
WenYen Chen, Dong Zhang, Edward Y. Chang
HICSS
2006
IEEE
141views Biometrics» more  HICSS 2006»
16 years 11 days ago
Affective Quality and Cognitive Absorption: Extending Technology Acceptance Research
Agarwal and Karahanna (2000) suggested that holistic user experiences with IT contribute to users’ evaluation of and reaction to using the technology. They proposed and empirica...
Ping Zhang 0002, Na Li, Heshan Sun