Sciweavers

751 search results - page 128 / 151
» Ur Web: A Simple Model for Programming the Web
Sort
View
PAKM
2008
15 years 7 days ago
Classifying Digital Resources in a Practical and Coherent Way with Easy-to-Get Features
With a rich variety of forms and types, digital resources are complex data objects. They grows fast in volume on the Web, but hard to be classified efficiently. The paper presents ...
Chong Chen, Hongfei Yan, Xiaoming Li
SWAP
2008
15 years 7 days ago
Uniform Access to Domotic Environments through Semantics
This paper proposes a Domotic OSGi Gateway (DOG) able to expose different domotic networks as a single, technology neutral, home automation system. The adoption of a standard frame...
Dario Bonino, Emiliano Castellina, Fulvio Corno
JISBD
2003
15 years 5 days ago
XSDoc: an Extensible Wiki-based Infrastructure for Framework Documentation
Good quality documentation is crucial for the effective reuse of object-oriented frameworks, and must be adaptable to the needs of different audiences. To satisfy these needs, fra...
Ademar Aguiar, Gabriel David, Manuel Padilha
ICALP
2005
Springer
15 years 4 months ago
Spatial Logics for Bigraphs
Bigraphs are emerging as a (meta-)model for concurrent calculi, like CCS, ambients, πcalculus, and Petri nets. They are built orthogonally on two structures: a hierarchical place...
Giovanni Conforti, Damiano Macedonio, Vladimiro Sa...
IIWAS
2008
15 years 8 days ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...