3582 search results - page 544 / 717 » Designing games with a purpose |
159
click to vote
ATAL
2007
Springer
16 years 21 days ago
2007
Springer
There are many studies on ABS and several frameworks for ABS have already been published. However, there are few frameworks that can enable agent-based simulation using large numb...
194
click to vote
ATVA
2007
Springer
16 years 21 days ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
191
click to vote
EMSOFT
2007
Springer
16 years 21 days ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
164
click to vote
ESWS
2007
Springer
16 years 21 days ago
2007
Springer
In an open, constantly changing and collaborative environment like the forthcoming Semantic Web, it is reasonable to expect that knowledge sources will contain noise and inaccuraci...
195
click to vote
FMICS
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...