3388 search results - page 104 / 678 » Type-theoretic design patterns |
152
click to vote
TSE
2008
15 years 4 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
139
click to vote
ITNG
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose the characteristics of a software tool that leverages specifying attack pattern details in understandable hierarchies. These hierarchies are currently manually populate...
139
click to vote
EEE
2005
IEEE
15 years 10 months ago
2005
IEEE
Currently negotiation covers a huge and unstructured domain of negotiation- and coordination protocols and associated strategies. Researchers and practitioners like system enginee...
130
click to vote
CSUR
2000
15 years 4 months ago
2000
The goal of this paper is to illustrate how frameworks and patterns address complexities that arise in the design and implementation of high-performance distributed software syste...
129
Voted
ICWE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In this paper we propose a system of design patterns for Web navigation. We have collected patterns already published in the literature, selected ten of them, refined th...