6581 search results - page 228 / 1317 » Formalizing Design Patterns |
131
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Pattern matching is essential to a wide range of applications such as network intrusion detection, virus scanning, etc. Pattern matching algorithms normally rely on state machines...
154
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
We will discuss here the theoretical, social, technological and practical issues related to quality aspects of software patterns including security and safety aspects. The worksho...
136
Voted
TSE
2008
15 years 3 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...
131
click to vote
ITNG
2008
IEEE
15 years 10 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...
133
click to vote
EEE
2005
IEEE
15 years 9 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...