Sciweavers

1329 search results - page 199 / 266
» Analysis of Dynamic Communicating Systems by Hierarchical Ab...
Sort
View
ISCC
2008
IEEE
15 years 6 months ago
A vendor-independent resource control framework for WiMAX
In this paper, a novel solution to dynamically control the resources of a WiMAX system is proposed. The presented solution is aligned with the NGN trends, as well as with the WiMA...
Pedro Neves, Tuomas Nissilä, Telmo Pereira, I...
IJSNET
2010
117views more  IJSNET 2010»
14 years 6 months ago
Reaction-diffusion based autonomous control of wireless sensor networks
Abstract: Taking into account requirements of sensor networks, we need fully-distributed and selforganising control mechanisms which are scalable to the size of a network, robust t...
Katsuya Hyodo, Naoki Wakamiya, Etsushi Nakaguchi, ...
RAID
2007
Springer
15 years 5 months ago
Understanding Precision in Host Based Intrusion Detection
Abstract. Many host-based anomaly detection systems monitor process execution at the granularity of system calls. Other recently proposed schemes instead verify the destinations of...
Monirul I. Sharif, Kapil Singh, Jonathon T. Giffin...
PASTE
2004
ACM
15 years 5 months ago
Validation of assembler programs for DSPs: a static analyzer
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
Matthieu Martel
CSAC
2006
15 years 1 months ago
Toward a Pi-Calculus Based Verification Tool for Web Services Orchestrations
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
Faisal Abouzaid