487 search results - page 83 / 98 » Schedulability analysis of AADL models |
TMC
2012
12 years 12 days ago
2012
Abstract—We consider the problem of relay-assisted transmission for cellular networks. In the considered system, a source node together with n relay nodes are selected in a propo...
CCR
2006
13 years 10 months ago
2006
This paper presents a scalable time-stepped hybrid simulation algorithm which is well adapted to the simulation of large IP networks (up to one million of competing flows and netw...
CUZA
2002
13 years 9 months ago
2002
This paper presents Process Algebra for Predictible Control Systems (PAPCS) as a model for specifying and analysis of concurrent, time and resource dependent, distributed control s...
IAJIT
2010
13 years 8 months ago
2010
: The software capability maturity model has become a popular model for enhancing software development processes with the goal of developing high-quality software within budget and...
ADBIS
2006
Springer
14 years 4 months ago
2006
Springer
Abstract. In this paper, we identify issues and present solutions developed – both theoretical and experimental – during the course of developing a data stream management syste...