746 search results - page 30 / 150 » Formal Analysis of UML-Based Designs |
123
Voted
KES
2008
Springer
15 years 1 months ago
2008
Springer
This paper presents ontology-based architecture for pattern recognition in the context of static source code analysis. The proposed system has three subsystems: parser, OWL ontolog...
139
click to vote
CSFW
2012
IEEE
13 years 4 months ago
2012
IEEE
—In this paper, we propose a formal analysis of domain extenders for hash functions in the indifferentiability framework. We define a general model for domain extenders and prov...
147
click to vote
ZUM
1997
Springer
15 years 6 months ago
1997
Springer
We present a new formal OO method, called FOX, which is a synergetic combination of the semi-formal Fusion method and the formal specification language Object-Z. To manage complex...
107
click to vote
CSEE
2000
Springer
15 years 6 months ago
2000
Springer
Accurate and complete requirements specifications are crucial for the design and implementation of high-quality software. Unfortunately, the articulation and verification of softw...
117
click to vote
ASPLOS
2004
ACM
15 years 7 months ago
2004
ACM
Multiple Clock Domain (MCD) processors are a promising future alternative to today’s fully synchronous designs. Dynamic Voltage and Frequency Scaling (DVFS) in an MCD processor ...