Sciweavers

1411 search results - page 106 / 283
» Case Studies of an Insider Framework
Sort
View
AAAI
2004
15 years 23 days ago
Collapsibility and Consistency in Quantified Constraint Satisfaction
The concept of consistency has pervaded studies of the constraint satisfaction problem. We introduce two concepts, which are inspired by consistency, for the more general framewor...
Hubie Chen
GLVLSI
2010
IEEE
296views VLSI» more  GLVLSI 2010»
14 years 11 months ago
AOP-based high-level power estimation in SystemC
The paper presents a novel high-level power modeling and estimation framework. The approach is based on a synergic integration of aspect-oriented programming(AOP) and SystemC. Mac...
Feng Liu, QingPing Tan, Xiaoyu Song, Naeem Abbasi
JSYML
2002
66views more  JSYML 2002»
14 years 11 months ago
Open Questions in The Theory of Spaces of Orderings
f orderings provide an abstract framework in which to study spaces of orderings of formally real fields. Spaces of orderings of finite chain length are well understood [9] [12]. Th...
Murray A. Marshall
WIOPT
2010
IEEE
14 years 9 months ago
Stochastic modeling of carrier sensing based cognitive radio networks
In this paper, we propose a comprehensive probabilistic framework which can be used to model and analyze cognitive radio (CR) network using carrier sensing (CS) based multiple acc...
Nguyen Tien Viet, François Baccelli
INFOCOM
2005
IEEE
15 years 5 months ago
Topology aware overlay networks
— Recently, overlay networks have emerged as a means to enhance end-to-end application performance and availability. Overlay networks attempt to leverage the inherent redundancy ...
Junghee Han, David Watson, Farnam Jahanian