7080 search results - page 25 / 1416 » Designing High Integrity Systems Using Aspects |
87
Voted
DATE
2008
IEEE
15 years 5 months ago
2008
IEEE
With technology advances, the number of cores integrated on a chip and their speed of operation is increasing. This, in turn is leading to a significant increase in chip temperat...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
86
Voted
ARCS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
101
Voted
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programmin...
101
click to vote
APSEC
2009
IEEE
14 years 8 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...