10072 search results - page 289 / 2015 » Composition of Model Programs |
214
click to vote
IJIS
2002
15 years 6 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...
172
click to vote
AUSAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a semantic model of typicality of concept members in description logics that accords well with a binary, globalist cognitive model of class membership and typi...
170
Voted
WAIM
2005
Springer
16 years 4 days ago
2005
Springer
Species distribution prediction modeling plays a key role in biodiversity research. We propose to publish both species distribution data and modeling components as Web services and...
179
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
151
click to vote
SYNASC
2007
IEEE
16 years 28 days ago
2007
IEEE
This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organization and a model of a composite interaction-based ...