224 search results - page 14 / 45 » A Modeling Paradigm for Integrated Modular Avionics Design |
CORR
2011
Springer
13 years 2 months ago
2011
Springer
—The article describes a course on system design (structural approach) which involves the following: issues of systems engineering; structural models; basic technological problem...
VLSID
2003
IEEE
14 years 8 months ago
2003
IEEE
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
SASO
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract— On the one hand, natural phenomena of spontaneous pattern formation are generally random and repetitive, whereas, on the other hand, complicated heterogeneous architect...
CONCURRENCY
2008
13 years 7 months ago
2008
Authorization infrastructures manage privileges and render access control decisions, allowing applications to adjust their behavior according to the privileges allocated to users....
JCDL
2003
ACM
14 years 24 days ago
2003
ACM
This paper describes research to enhance the integration between digital models and the services provided by the document management systems of digital libraries. Processing techn...