6054 search results - page 827 / 1211 » Implementation of Andorra-based Languages |
190
click to vote
APLAS
2003
ACM
16 years 25 days 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...
210
click to vote
ERLANG
2003
ACM
16 years 25 days 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...
201
click to vote
AC
2003
Springer
16 years 25 days 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...
219
click to vote
ASP
2003
Springer
16 years 24 days 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...
193
click to vote
CP
2003
Springer
16 years 24 days 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...