6581 search results - page 70 / 1317 » Formalizing Design Patterns |
103
Voted
SPIN
1999
Springer
15 years 6 months ago
1999
Springer
A pattern-based approach to the presentation, codification and reuse of property specifications for finite-state verification was proposed by Dwyer and his colleagues in [4, 3]...
110
Voted
FM
2006
Springer
15 years 6 months ago
2006
Springer
This paper considers network services that bind identifiers in the course of delivering messages, and also persistent, point-to-point connections made in the context of such bindin...
101
click to vote
DATE
2005
IEEE
15 years 8 months ago
2005
IEEE
The purpose of this paper is to formally specify a flow devoted to the design of Differential Power Analysis (DPA) resistant QDI asynchronous circuits. The paper first proposes a ...
104
Voted
CHI
2007
ACM
16 years 3 months ago
2007
ACM
Interaction patterns and pattern languages have been discussed for years in HCI literature yet there have been few empirical studies conducted. We describe aIRPLane: An Informatio...
127
Voted
WABI
2001
Springer
15 years 7 months ago
2001
Springer
We describe algorithms for pattern matching and pattern learning in TOPS diagrams (formal descriptions of protein topologies). These problems can be reduced to checking for subgrap...