Sciweavers

1817 search results - page 90 / 364
» Extensive Games as Process Models
Sort
View
SERP
2004
15 years 2 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...
106
Voted
PKDD
2009
Springer
94views Data Mining» more  PKDD 2009»
15 years 7 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...
105
Voted
WECWIS
2005
IEEE
143views ECommerce» more  WECWIS 2005»
15 years 6 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...
88
Voted
FMOODS
2008
15 years 2 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...
97
Voted
FOSSACS
2005
Springer
15 years 6 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