2004 search results - page 108 / 401 » Interaction nets: programming language design and implementa... |
158
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
165
Voted
DKE
2008
15 years 5 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
132
click to vote
SE
2008
15 years 6 months ago
2008
: In this paper we present the language Monaco, which is a DSL for programming event-based, reactive automation solutions. The main purpose of the language is to bring automation p...
134
click to vote
SERP
2004
15 years 6 months ago
2004
Game and simulation development is a difficult process because there are many low level infrastructure concerns that need to be addressed. This is a barrier to development for ine...
141
click to vote
ACMIDC
2008
15 years 7 months ago
2008
In this paper we describe the design and initial evaluation of a tangible computer programming exhibit for children on display at the Boston Museum of Science. We also discuss fiv...