Sciweavers

9455 search results - page 259 / 1891
» The Modelling Language Zinc
Sort
View
MPC
2004
Springer
116views Mathematics» more  MPC 2004»
15 years 11 months ago
An Injective Language for Reversible Computation
Abstract. Erasure of information incurs an increase in entropy and dissipates heat. Therefore, information-preserving computation is essential for constructing computers that use e...
Shin-Cheng Mu, Zhenjiang Hu, Masato Takeichi
SEKE
2004
Springer
15 years 11 months ago
Enhancing the Message Concept of the Object Constraint Language
The textual Object Constraint Language (OCL) is an official part of the Unified Modeling Language (UML). A new concept in the recently adopted OCL version 2.0 is the notion of O...
Stephan Flake
ECAI
2000
Springer
15 years 10 months ago
Languages for Negotiation
This paper considers the use of logic-based languages for multi-agent negotiation. We begin by motivating the use of such languages, and introducing a formal model of logic-based n...
Michael Wooldridge, Simon Parsons
EELC
2006
121views Languages» more  EELC 2006»
15 years 9 months ago
Simulating Meaning Negotiation Using Observational Language Games
In this article, we study the emergence of associations between words and concepts using the self-organizing map. In particular, we explore the meaning negotiations among communica...
Tiina Lindh-Knuutila, Timo Honkela, Krista Lagus
HPCN
2000
Springer
15 years 9 months ago
Dynamic Reconfiguration in Coordination Languages
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
George A. Papadopoulos, Farhad Arbab