Sciweavers

3505 search results - page 165 / 701
» A Language for Human Action
Sort
View
MPC
2004
Springer
116views Mathematics» more  MPC 2004»
15 years 12 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
FLAIRS
2000
15 years 8 months ago
Verification of Cooperating Systems - An Approach Based on Formal Languages
Behaviour of systems is described by formal languages: the sets of all sequences of actions. Regarding ion, alphabetic language homomorphisms are compute abstract behaviours. To a...
Peter Ochsenschläger, Jürgen Repp, Rolan...
USENIX
1990
15 years 7 months ago
Tcl: An Embeddable Command Language
Tcl is an interpreter for a tool command language. It consists of a library package that is embedded in tools (such as editors, debuggers, etc.) as the basic command interpreter. ...
John K. Ousterhout
RML
2002
94views Business» more  RML 2002»
15 years 6 months ago
The situation manager rule language
This paper presents the "situation manager" rule language. The situation manager is a tool that includes both a language and an efficient runtime execution mechanism, aim...
Asaf Adi, Opher Etzion
E4MAS
2004
Springer
15 years 12 months ago
ELMS: An Environment Description Language for Multi-agent Simulation
This paper presents ELMS, a language used for the specification of multi-agent environments. This language is part of the MAS-SOC approach to the design and implementation of mult...
Fabio Y. Okuyama, Rafael H. Bordini, Antônio...