Sciweavers

968 search results - page 47 / 194
» The Molen Programming Paradigm
Sort
View
CIDR
2007
163views Algorithms» more  CIDR 2007»
15 years 5 months ago
Demaq: A Foundation for Declarative XML Message Processing
This paper gives an overview of Demaq, an XML message processing system operating on the foundation of transactional XML message queues. We focus on the syntax and semantics of it...
Alexander Böhm 0002, Carl-Christian Kanne, Gu...
ENTCS
2010
130views more  ENTCS 2010»
15 years 4 months ago
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical com...
Ludovic Henrio, Muhammad Uzair Khan
JMLC
2000
Springer
15 years 7 months ago
Stand-Alone Messages: A Step Towards Component-Oriented Programming Languages
We are concerned with the design of programming languages that support the paradigm of component-oriented programming. Languages based on the accepted idea of combining modular and...
Peter H. Fröhlich, Michael Franz
FSS
2008
145views more  FSS 2008»
15 years 4 months ago
A logic programming framework for possibilistic argumentation: Formalization and logical properties
In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has s...
Teresa Alsinet, Carlos Iván Chesñeva...
JUCS
2008
137views more  JUCS 2008»
15 years 4 months ago
Context-Oriented Programming with the Ambient Object System
In this paper we present AmOS, the Ambient Object System that underlies the Ambience programming language. AmOS implements a computation model that supports highly dynamic behaviou...
Sebastián González, Kim Mens, Alfred...