1433 search results - page 164 / 287 » The Design of Large Real-Time Systems: The Time-Triggered Ap... |
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
Over the years the software engineering community has increasingly realized the important role software architecture plays in fulfilling the quality requirements of a system. The ...
DSN
2004
IEEE
15 years 3 months ago
2004
IEEE
Advanced molecular nanotechnology devices are expected to have exceedingly high transient fault rates and large numbers of inherent device defects compared to conventional CMOS de...
DATE
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
112
click to vote
ECTEL
2007
Springer
15 years 3 months ago
2007
Springer
Currently, large amounts of research exist into the design and implementation of adaptive systems. The complex task of authoring of such systems, or their evaluation, is addressed ...
105
click to vote
FOSSACS
2008
Springer
15 years 26 days ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...