1124 search results - page 69 / 225 » Refined quorum systems |
173
click to vote
ITSSA
2006
15 years 6 months ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
183
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
159
click to vote
IFIP12
2009
15 years 4 months ago
2009
Abstract In the scientific literature, it is generally assumed that models can be completely established before the diagnosis analysis. However, in the actual maintenance problems,...
241
click to vote
POLICY
2001
Springer
15 years 10 months ago
2001
Springer
Specifying policies doesn’t occur in splendid isolation but as part of refining an enterprise specification. The roles, the tasks, and the business processes of an ODP community ...
185
click to vote
JOT
2007
15 years 6 months ago
2007
In this paper we present an overview of the capabilities of the Systems Modeling Language (SysML.) SysML is a standard from the Object Management Group. It is geared toward increm...