6581 search results - page 123 / 1317 » Formalizing Design Patterns |
225
click to vote
ECCB
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract: Models of the dynamics of cellular interaction networks have become increasingly larger in recent years. Formal verification based on model checking provides a powerful t...
125
click to vote
MST
2006
15 years 3 months ago
2006
Motivated by problems of pattern statistics, we study the limit distribution of the random variable counting the number of occurrences of the symbol a in a word of length n chosen...
136
click to vote
AOSE
2003
Springer
15 years 8 months ago
2003
Springer
This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to st...
CIARP
2005
Springer
15 years 8 months ago
2005
Springer
135
click to vote
OOPSLA
2010
Springer
15 years 1 months ago
2010
Springer
We present a framework that provides concurrency-enhanced versions of the GOF object-oriented design patterns. The main benefit of our work is that if programmers improve program...