1585 search results - page 49 / 317 » A framework for computer-aided validation |
ISCC
2006
IEEE
15 years 5 months ago
2006
IEEE
Multipath routing protocols have proved to be able to enhance the performance of MANET in terms of reliability, load balancing, multimedia streaming, security, etc. However, deplo...
ISNN
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Internet traffic prediction plays a fundamental role in network design, management, control, and optimization. The self-similar and non-linear nature of network traffic m...
118
click to vote
COMPENG
2010
15 years 3 months ago
2010
This paper presents a Knowledge Base System (KBS) as a key component of a federated simulation framework which allows the investigation of (inter)dependencies among Critical Infra...
ISW
2000
Springer
15 years 3 months ago
2000
Springer
Securing the mobile code commerce is not an easy task at all. We propose in this paper a framework to tackle this problem. In a first step, we analyse the general issues that must ...
111
click to vote
EUC
2008
Springer
15 years 1 months ago
2008
Springer
A generalized dynamic energy performance scaling (DEPS) framework is proposed for exploring applicationspecific energy-saving potential in hard real-time embedded systems. This so...