77016 search results - page 422 / 15404 » Modeling |
139
click to vote
AINA
2006
IEEE
16 years 10 days ago
2006
IEEE
This paper presents adaptive resource sharing model that uses a revenue criterion to allocate network resources in an optimal way. The model ensures QoS requirements of data flow...
151
click to vote
DATE
2006
IEEE
16 years 10 days ago
2006
IEEE
Generation of n -detection test sets is typically done for a single fault model. In this work we investigate the generation of n -detection test sets by pairing each fault of a ta...
166
click to vote
IPPS
2006
IEEE
16 years 9 days ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...