254 search results - page 49 / 51 » Methods for complex single-mind architecture designs |
183
click to vote
INFOCOM
2005
IEEE
16 years 10 days ago
2005
IEEE
— The advent of packet networks has motivated many researchers to study the performance of networks of queues in the last decade or two. However, most of the previous work assume...
212
Voted
UML
2005
Springer
16 years 7 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
221
Voted
PPOPP
2006
ACM
16 years 21 days ago
2006
ACM
Large-scale simulations and computational modeling using molecular dynamics (MD) continues to make significant impacts in the field of biology. It is well known that simulations...
196
Voted
EMSOFT
2004
Springer
16 years 4 days ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
211
Voted
BIRTHDAY
2003
Springer
15 years 12 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...