Sciweavers

5267 search results - page 577 / 1054
» Methods for Knowledge Based Controlling of Distributed Syste...
Sort
View
VTC
2010
IEEE
172views Communications» more  VTC 2010»
15 years 6 months ago
A Cumulant-Based Characterization of the Aggregate Interference Power in Wireless Networks
— The importance of characterizing the aggregate interference power generated by a wireless network has increased with the emergence of different types of wireless networks such ...
Muhammad Aljuaid, Halim Yanikomeroglu
ICFP
2010
ACM
15 years 8 months ago
The impact of higher-order state and control effects on local relational reasoning
Reasoning about program equivalence is one of the oldest problems in semantics. In recent years, useful techniques have been developed, based on bisimulations and logical relation...
Derek Dreyer, Georg Neis, Lars Birkedal
COMCOM
2008
95views more  COMCOM 2008»
15 years 7 months ago
PFC: A packet forwarding control scheme for vehicle handover over the ITS networks
When a vehicle moves on roads, it can receive messages from base stations (BSs) and other vehicles. After it moves far away the transmission range, the vehicle tries to find an av...
Chung-Ming Huang, Meng-Shu Chiang, Tz-Heng Hsu
FDL
2008
IEEE
16 years 2 months ago
Symbolic Quasi-Static Scheduling of Actor-Oriented SystemC Models
—In this paper, we propose a quasi-static scheduling (QSS) method applicable to actor-oriented SystemC designs. QSS determines a schedule where several static schedules are combi...
Jens Gladigau, Christian Haubelt, Jürgen Teic...
KDD
2009
ACM
167views Data Mining» more  KDD 2009»
16 years 8 months ago
SNARE: a link analytic system for graph labeling and risk detection
Classifying nodes in networks is a task with a wide range of applications. It can be particularly useful in anomaly and fraud detection. Many resources are invested in the task of...
Mary McGlohon, Stephen Bay, Markus G. Anderle, Dav...