1329 search results - page 73 / 266 » Analysis of Dynamic Communicating Systems by Hierarchical Ab... |
CSUR
1999
13 years 7 months ago
1999
useful for optimizing compilers [15], partial evaluators [11], abstract debuggers [1], models-checkers [2], formal verifiers [13], etc. The difficulty of the task comes from the fa...
ICCNMC
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we propose a distributed hierarchical intrusion detection system, for ad hoc wireless networks, based on a power level metric for potential ad hoc hosts, which is us...
TAPSOFT
1995
Springer
13 years 11 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
AICT
2008
IEEE
14 years 2 months ago
2008
IEEE
— The Passive Optical Network (PON) is an attractive solution for delivering services with numerous applications, such as high-definition video, video conferencing and data traff...
FM
1999
Springer
13 years 12 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...