598 search results - page 60 / 120 » Aspect-Oriented Development Using Protocol Modeling |
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— This paper analyzes and designs medium access control (MAC) protocols for wireless ad-hoc networks through the network utility maximization (NUM) framework. We first reverse-e...
INFOCOM
2003
IEEE
14 years 3 months ago
2003
IEEE
— In this paper we present analytical techniques that can be used to better understand the behavior of malware, a generic term that refers to all kinds of malicious software prog...
RTCSA
1999
IEEE
14 years 2 months ago
1999
IEEE
Abstract. We present an approach to static priority preemptive process scheduling for the synthesis of hard realtime distributed embedded systems where communication plays an impor...
DATE
2000
IEEE
14 years 2 months ago
2000
IEEE
We present an approach to bus access optimization and schedulability analysis for the synthesis of hard real-time distributed embedded systems. The communication model is based on...
SOFTWARE
1998
13 years 9 months ago
1998
A software component is typically modeled from one or more of four functional aspects: interface, static behavior, dynamic behavior, and interaction protocol. Each of these aspect...