Sciweavers

2139 search results - page 99 / 428
» Connecting language to the world
Sort
View
TGC
2005
Springer
16 years 1 months ago
A Distributed Object-Oriented Language with Session Types
Abstract. In the age of the world-wide web and mobile computing, programming communication-centric software is essential. Thus, programmers and program designers are exposed to new...
Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Al...
WIDM
2003
ACM
16 years 25 days ago
XWebSOGO: an ontology language to describe and query web sources
Ontologies play an important role in the Semantic Web. Currently, several Web ontology languages have been proposed and there has been a substantial effort towards the formalizat...
Edna Ruckhaus, Maria-Esther Vidal
ECOOP
2006
Springer
15 years 11 months ago
Session Types for Object-Oriented Languages
A session takes place between two parties; after establishing a connection, each party interleaves local computations and communications (sending or receiving) with the other. Ses...
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous,...
ICDT
2012
ACM
226views Database» more  ICDT 2012»
13 years 10 months ago
Bounded repairability for regular tree languages
We consider the problem of repairing unranked trees (e.g., XML documents) satisfying a given restriction specification R (e.g., a DTD) into unranked trees satisfying a given targ...
Gabriele Puppis, Cristian Riveros, Slawek Staworko
PADL
2007
Springer
16 years 1 months ago
BAD, a Declarative Logic-Based Language for Brain Modeling
Abstract. We describe a declarative language, called BAD (brain architecture description language), which we have developed for describing and then running brain models. Models are...
Alan H. Bond