Sciweavers

1953 search results - page 143 / 391
» codes 2010
Sort
View
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
133
Voted
ENTCS
2002
101views more  ENTCS 2002»
15 years 4 months ago
Towards Automatic Mediation between Heterogeneous Software Components
An approach to software composition from heterogeneous components is presented. The focus is on heterogeneity of interaction styles. The interface of a component is described in an...
Klaus-Peter Löhr
ENTCS
2002
78views more  ENTCS 2002»
15 years 4 months ago
The Impact of Linearity Information on the Performance of TyCO
We describe a linear channel inference system for the TyCO programming language, where channel usage is tracked through method invocations as well as procedure calls. We then appl...
Francisco Martins, Luís M. B. Lopes, Vasco ...
DOCENG
2010
ACM
15 years 5 months ago
Using model driven engineering technologies for building authoring applications
Building authoring applications is a tedious and complex task that requires a high programming effort. Document technologies, especially XML based ones, can help in reducing such ...
Olivier Beaudoux, Arnaud Blouin, Jean-Marc J&eacut...
MOBIHOC
2010
ACM
15 years 2 months ago
Data preservation under spatial failures in sensor networks
In this paper, we address the problem of preserving generated data in a sensor network in case of node failures. We focus on the type of node failures that have explicit spatial s...
Navid Hamed Azimi, Himanshu Gupta, Xiaoxiao Hou, J...