484 search results - page 73 / 97 » Structural Symmetry and Model Checking |
246
click to vote
ICDE
1995
IEEE
16 years 6 months ago
1995
IEEE
The model of flexible relations supports heterogeneous sets of tuples in a strongly typed way. The elegance of the standard relational model is preserved by using a single, generi...
171
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
128
click to vote
RSP
2007
IEEE
15 years 11 months ago
2007
IEEE
Designing security softwares that evolve as quickly as threats is a truthful challenge. In addition, current software becomes increasingly more complex and difficult to handle ev...
155
Voted
ASPDAC
2006
ACM
15 years 11 months ago
2006
ACM
– We propose an interconnect diagnosis scheme based on Oscillation Ring test methodology for SOC design with heterogeneous cores. The target fault models are delay faults and cro...
146
Voted
UML
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Nowadays, object-oriented meta-languages such as MOF (MetaObject Facility) are increasingly used to specify domain-specific languages in the model-driven engineering comm...