3844 search results - page 543 / 769 » Modular interpreted systems |
132
click to vote
EWC
2006
15 years 6 months ago
2006
We have developed a Ch Mechanism Toolkit for analysis and design of mechanisms. The toolkit was developed using Ch, an embeddable C/C++ interpreter with high-level extensions. The ...
160
click to vote
IJNSEC
2008
15 years 6 months ago
2008
In 1949, Shannon proved the perfect secrecy of the Vernam cryptographic system (One-Time Pad or OTP). It has generally been believed that the perfectly random and uncompressible O...
182
click to vote
JAIR
2006
15 years 6 months ago
2006
A multiagent system may be thought of as an artificial society of autonomous software agents and we can apply concepts borrowed from welfare economics and social choice theory s t...
184
click to vote
LOGCOM
2008
15 years 6 months ago
2008
The practice of first-order logic is replete with meta-level concepts. Most notably there are meta-variables ranging over formulae, variables, and terms, and properties of syntax s...
183
click to vote
ENTCS
2007
15 years 6 months ago
2007
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...