Sciweavers

87 search results - page 9 / 18
» The role of semantics in games and simulations
Sort
View
JUCS
2008
172views more  JUCS 2008»
13 years 6 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley
SYNTHESE
2011
82views more  SYNTHESE 2011»
13 years 1 months ago
The philosophy of simulation: hot new issues or same old stew?
Computer simulations are an exciting tool that plays important roles in many scientific disciplines. This has attracted the attention of a number of philosophers of science. The m...
Roman Frigg, Julian Reiss
IRI
2009
IEEE
14 years 1 months ago
An Agent-based Formal Framework for Modeling and Simulating Supply Chains
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
Li Tan, Shenghan Xu, Benjamin Meyer, Brock Erwin
ASP
2003
Springer
13 years 12 months ago
Integrating Semantic Web Reasoning and Answer Set Programming
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
Stijn Heymans, Dirk Vermeir
INFOCOM
2007
IEEE
14 years 1 months ago
Distributed Relay Selection and Power Control for Multiuser Cooperative Communication Networks Using Buyer/Seller Game
— The performances in cooperative communications depend on careful resource allocation such as relay selection and power control, but traditional centralized resource allocation ...
Beibei Wang, Zhu Han, K. J. Ray Liu