284 search results - page 38 / 57 » Formal Foundation for Pattern-Based Modelling |
90
Voted
MKWI
2008
15 years 1 months ago
2008
: We introduce infrastructure monitoring as an application domain that demands decentralized system designs. This is motivated by the large scale of these systems, the heterogeneit...
94
Voted
ICMAS
2000
15 years 1 months ago
2000
In this paper, we formulate agent's decision process under the framework of Markov decision processes, and in particular, the multi-agent extension to Markov decision process...
96
Voted
JSS
2002
15 years 5 days ago
2002
As a baseline for software development, a correct and complete requirements definition is one foundation of software quality. Previously, a novel approach to static testing of sof...
103
click to vote
RML
2002
15 years 4 days ago
2002
In E-commerce processes, various rules and constraints regarding product specifications, pricing, terms and conditions are exchanged between vendors and buyers. Developing a forma...
117
click to vote
ECEASST
2010
14 years 7 months ago
2010
Abstract. Many modelling languages have both a textual and a graphical form. The relationship between these two forms ought to be clear and concrete, but is instead commonly unders...