1817 search results - page 176 / 364 » Extensive Games as Process Models |
186
click to vote
FMSD
2006
15 years 6 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...
197
click to vote
SEMWEB
2010
Springer
15 years 4 months ago
2010
Springer
Building applications over Linked Data often requires a mapping between the application model and the ontology underlying the source dataset in the Linked Data cloud. This mapping ...
203
click to vote
ISER
1999
Springer
15 years 11 months ago
1999
Springer
: We are developing a robotic measurement facility which makes it very easy to build “reality-based” models, i.e., computational models of existing, physical objects based on a...
174
click to vote
GLOBECOM
2008
IEEE
16 years 1 months ago
2008
IEEE
—We consider peer-to-peer (P2P) networks, where multiple peers are interested in sharing content. While sharing resources, autonomous and self-interested peers need to make decis...
172
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
The Transferable Belief Model is a powerful interpretation of belief function theory where decision making is based on the pignistic transform. Smets has proposed a generalization ...