10159 search results - page 223 / 2032 » System Design Validation Using Formal Models |
109
click to vote
CAISE
1997
Springer
15 years 7 months ago
1997
Springer
OO-Method is an OO Methodology that blends the use of formal specification systems with conventional OO methodologies based on practice. In contrast to other approaches in this fi...
113
click to vote
ECRTS
2007
IEEE
15 years 9 months ago
2007
IEEE
Today’s CPUs consume a significant amount of power and generate a high amount of heat, requiring an active cooling system to support reliable operations. In case of cooling sys...
131
click to vote
ECSA
2010
Springer
15 years 3 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
116
click to vote
ENTCS
2007
15 years 3 months ago
2007
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and κ-calculus. Both have proved to be useful to m...
139
click to vote
CAISE
2000
Springer
15 years 7 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...