238 search results - page 1 / 48 » Integrating AADL within a Multi-domain Modeling Framework |
ICECCS
2009
IEEE
13 years 2 months ago
2009
IEEE
MEMOCODE
2008
IEEE
13 years 11 months ago
2008
IEEE
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
APSEC
2009
IEEE
13 years 2 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
ATAL
2007
Springer
13 years 11 months ago
2007
Springer
Many agents are fielded within environments requiring modeling traditional organizational structures such as military hierarchies and corporations, with their associated authority...
BMCBI
2010
13 years 4 months ago
2010
Background: New technologies are enabling the measurement of many types of genomic and epigenomic information at scales ranging from the atomic to nuclear. Much of this new data i...