8810 search results - page 353 / 1762 » Openness |
MKWI
2008
15 years 8 months ago
2008
: In dem vorliegenden Beitrag stellen wir einen neuen Ansatz f
159
click to vote
APAL
2008
15 years 6 months ago
2008
A simple cut elimination proof for arithmetic with epsilon symbol is used to establish termination of a modified epsilon substitution process. This opens a possibility of extensio...
153
click to vote
CC
2010
Springer
15 years 6 months ago
2010
Springer
We solve an open problem in communication complexity posed by Kushilevitz and Nisan (1997). Let R (f) and D
175
click to vote
AAMAS
2006
Springer
15 years 6 months ago
2006
Springer
In many dynamic open systems, agents have to interact with one another to achieve their goals. Here, agents may be self-interested and when trusted to perform an action for another...
143
click to vote
CN
2006
15 years 6 months ago
2006
By combining the Open Kernel Environment, a Click-like software model known as Corral and basic concepts of active networking, we allow third-party code to control the code organi...