Sciweavers

8903 search results - page 205 / 1781
» Alternative
Sort
View
CAISE
2005
Springer
16 years 3 days ago
Ontological Modelling of Information Systems from Bunge's Contributions
The aim of this paper is to determine aspects to be considered in Bunge’s ontological models in order to obtain an Integrated Ontological Model of Information Systems (IOMIS). Th...
Susana I. Herrera, Diana Pallioto, Gregorio N. Tka...
DIGRA
2005
Springer
16 years 3 days ago
Build It to Understand It: Ludology Meets Narratology in Game Design Space
Building experimental games offers an alternative methodology for researching and understanding games, beyond what can be understood by playing and studying existing games alone. ...
Michael Mateas, Andrew Stern
DNA
2005
Springer
16 years 3 days ago
Two Proteins for the Price of One: The Design of Maximally Compressed Coding Sequences
Abstract. The emerging field of synthetic biology moves beyond conventional genetic manipulation to construct novel life forms which do not originate in nature. We explore the pro...
Bei Wang, Dimitris Papamichail, Steffen Mueller, S...
ECSQARU
2005
Springer
16 years 3 days ago
Possibility Theory for Reasoning About Uncertain Soft Constraints
Abstract. Preferences and uncertainty occur in many real-life problems. The theory of possibility is one non-probabilistic way of dealing with uncertainty, which allows for easy in...
Maria Silvia Pini, Francesca Rossi, Kristen Brent ...
FM
2005
Springer
114views Formal Methods» more  FM 2005»
16 years 2 days ago
Systematic Implementation of Real-Time Models
Recently we have proposed the ”almost ASAP” semantics as an alternative semantics for timed automata. This semantics is useful when modeling real-time controllers : control str...
Martin De Wulf, Laurent Doyen, Jean-Françoi...