4150 search results - page 329 / 830 » A Practical Approach to Model Extension |
182
Voted
ESAS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...
155
click to vote
CODES
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper we present an approach to performance estimation for hard real-time systems. We consider architectures consisting of multiple processors. The scheduling policy is ba...
112
click to vote
DATE
2000
IEEE
15 years 9 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...
123
Voted
APN
1999
Springer
15 years 9 months ago
1999
Springer
We show how the branching process approach can be used for the detection of illegal behaviors. Our study is based on the specification of properties in terms of testers that cover...
138
click to vote
RTCSA
1999
IEEE
15 years 9 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...