6054 search results - page 827 / 1211 » Implementation of Andorra-based Languages |
173
Voted
APLAS
2003
ACM
16 years 23 hour ago
2003
ACM
This paper studies the problem of resource availability in the context of mobile code for embedded systems such as smart cards. It presents an architecture dedicated to controlling...
190
click to vote
ERLANG
2003
ACM
16 years 22 hour ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
175
click to vote
AC
2003
Springer
16 years 10 hour ago
2003
Springer
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
189
click to vote
ASP
2003
Springer
16 years 8 hour ago
2003
Springer
Abstract. Disjunctive logic programs are a powerful tool in knowledge representation and commonsense reasoning. The recent development of an efficient disjunctive logic programmin...
170
click to vote
CP
2003
Springer
16 years 3 hour ago
2003
Springer
In this paper, we propose a new language-independent representation of adhoc constraints, called a box constraint collection. Using constructive disjunction, this representation ac...