6581 search results - page 372 / 1317 » Formalizing Design Patterns |
112
Voted
FUIN
2007
15 years 4 months ago
2007
We present in this paper the algorithm which performs the translation of MSC’2000 diagrams into Petri net modulo strong bisimulation. The correctness of this algorithm is justifi...
145
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
158
Voted
ERLANG
2003
ACM
15 years 10 months ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
126
click to vote
ICECCS
2002
IEEE
15 years 10 months ago
2002
IEEE
Cost-effective development of large, integrated computer-based systems can be realized through systematic reuse of development experiences throughout the development process. In t...
141
click to vote
SQJ
2010
14 years 11 months ago
2010
The identification of occurrences of design patterns in programs can help maintainers to understand the program design and implementation. It can also help them to make informed ch...