6581 search results - page 308 / 1317 » Formalizing Design Patterns |
131
click to vote
IFM
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. This paper introduces the ISpec approach to interface specification. ISpec supports the development of interface specifications at various levels of formality and detail ...
144
click to vote
ISQED
2010
IEEE
15 years 6 months ago
2010
IEEE
We present a method to abstract, formalize, and verify industrial flash memory implementations. Flash memories contain specialized transistors, e.g., floating gate and split gate d...
145
click to vote
ISICT
2003
15 years 5 months ago
2003
: Cryptographic protocols are used to achieve secure communication over insecure networks. Weaknesses in such protocols are hard to identify, as they can be the result of subtle de...
121
click to vote
ESM
2000
15 years 5 months ago
2000
The framework of this paper is the design of complex communication protocols by simulation, based on formal description techniques (FDT). We propose a general-purpose scalable mod...
117
click to vote
GBRPR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper deals with the problem of graphical knowledge management (formalization, modelling, representation and operationalization) in graphics recognition systems. We ...