Sciweavers

8109 search results - page 486 / 1622
» A Model of Component-Based Programming
Sort
View
UM
2010
Springer
15 years 6 months ago
Semantically-Enhanced Ubiquitous User Modeling
Semantically-enhanced Ubiquitous User Modeling aims at the management of distributed user models and the integration into ontologies to share user information amongst adaptive appl...
Till Plumbaum
AICT
2006
IEEE
16 years 1 months ago
Creation of internet-telephony services using Siplet technology
This paper deals with the design of telecommunications services using the SIP protocol. We give an overview of SIP and an overview of the programming models CGI and Servlets toget...
Qiang Fan, Roch H. Glitho, Ahmed Khoumsi
ECOOP
2004
Springer
16 years 1 months ago
AOP and Reflection for Dynamic Hyperslices
In this paper we present a Model for Dynamic Hyperslices which uses a particular Aspect-Oriented (AO) approach – Hyperspaces – for decomposition and reflection as a means for ...
Ruzanna Chitchyan, Ian Sommerville
FOSSACS
2004
Springer
16 years 1 months ago
Angelic Semantics of Fine-Grained Concurrency
We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplifie...
Dan R. Ghica, Andrzej S. Murawski
CTCS
1995
Springer
15 years 11 months ago
A Proposed Categorical Semantics for ML Modules
We present a simple categorical semantics for ML signatures, structures and functors. Our approach relies on realizablity semantics in the category of assemblies. Signatures and s...
Michael P. Fourman, Hayo Thielecke