6581 search results - page 1008 / 1317 » Formalizing Design Patterns |
189
click to vote
SAFECOMP
2007
Springer
16 years 25 days ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
202
click to vote
AICT
2006
IEEE
16 years 24 days ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
171
click to vote
CNSR
2006
IEEE
16 years 24 days ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
189
click to vote
IAT
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper introduces a multi-agent system (MAS) approach for modelling social behaviours in children’s play. The children, the dynamics of their play, and the playground are mo...
191
click to vote
ICAC
2006
IEEE
16 years 23 days ago
2006
IEEE
— Over the past decade, wide-area distributed computing has emerged as a powerful computing paradigm. Virtual machines greatly simplify wide-area distributed computing ing the ab...