Sciweavers

1817 search results - page 90 / 364
» Extensive Games as Process Models
Sort
View
SERP
2004
15 years 4 months ago
Virtual UNR Campus: The Specification Process
The Virtual UNR Campus (VCam) presented in this paper is an interactive environment where users explore a 3D representation of the University of Nevada, Reno (UNR) campus. In esse...
Sergiu Dascalu, Frederick C. Harris Jr., Matthew K...
PKDD
2009
Springer
94views Data Mining» more  PKDD 2009»
15 years 9 months ago
OTTHO: On the Tip of My THOught
In this paper we propose a system to solve a language game, called Guillotine, which requires a player with a strong cultural and linguistic background knowledge. The player obser...
Pierpaolo Basile, Marco Degemmis, Pasquale Lops, G...
WECWIS
2005
IEEE
143views ECommerce» more  WECWIS 2005»
15 years 8 months ago
A Groves Mechanism Approach to Decentralized Design of Supply Chains
In this paper, a generic optimization problem arising in supply chain design is modeled in a game theoretic framework and solved as a decentralized problem using a mechanism desig...
Dinesh Garg, Yadati Narahari, Earnest Foster, Deva...
FMOODS
2008
15 years 4 months ago
Modeling and Model Checking Software Product Lines
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
Alexander Gruler, Martin Leucker, Kathrin D. Schei...
FOSSACS
2005
Springer
15 years 8 months ago
Foundations of Web Transactions
A timed extension of π-calculus with a transaction construct – the calculus webπ – is studied. The underlying model of webπ relies on networks of processes; time proceeds as...
Cosimo Laneve, Gianluigi Zavattaro