7080 search results - page 534 / 1416 » Designing High Integrity Systems Using Aspects |
132
Voted
ESORICS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. As the use of computers and data communication technologies spreads, network security systems are becoming increasingly complex, due to the incorporation of a variety of ...
179
click to vote
WICSA
2004
15 years 6 months ago
2004
Early performance analysis based on Queueing Network Models (QNM) has been often proposed to support software designers during the software development process. These approaches a...
126
click to vote
AEI
1998
15 years 4 months ago
1998
Functional labels provide a simple but very reusable way for defining the functionality of a system and for making use of that knowledge. Unlike more complex functional representa...
148
click to vote
GLVLSI
2003
IEEE
15 years 10 months ago
2003
IEEE
The realization of fast datapaths in signal processing environments requires fastest, power efficient logic styles with synchronous behavior. This paper presents a method to combi...
114
click to vote
RTSS
1999
IEEE
15 years 9 months ago
1999
IEEE
In this paper we present a framework integrating speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tas...