10159 search results - page 1865 / 2032 » System Design Validation Using Formal Models |
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
—In this paper, we investigate into optimal admission control policies for Heterogeneous Wireless Networks (HWN), considering an integration of wireless mesh networks with an ove...
CCS
2007
ACM
14 years 2 months ago
2007
ACM
Trust management represents today a promising approach for supporting access control in open environments. While several approaches have been proposed for trust management and sig...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Contracting out government services, especially IT services, has accelerated in recent years in the United States. Based on literature in privatization and contracting out, the au...
MMM
2005
Springer
14 years 1 months ago
2005
Springer
Users of multimedia applications today are equipped with a variety of different (mobile) devices that each come with different operating systems, memory and CPU capabilities, netw...
GECCO
2006
Springer
13 years 12 months ago
2006
Springer
We present and evaluate a method for estimating the relevance and calibrating the values of parameters of an evolutionary algorithm. The method provides an information theoretic m...