Sciweavers

8008 search results - page 367 / 1602
» Computer-Aided Language Processing
Sort
View
CIBSE
2009
ACM
15 years 11 months ago
A two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...
IAT
2007
IEEE
15 years 10 months ago
A Specification Language for Coordination in Agent Systems
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...
Tibor Bosse, Mark Hoogendoorn, Radu Serban, Jan Tr...
SPIRE
2005
Springer
15 years 10 months ago
XML Retrieval with a Natural Language Interface
Effective information retrieval in XML documents requires the user to have good knowledge of document structure and of some formal query language. XML query languages like XPath a...
Xavier Tannier, Shlomo Geva
ICCL
1994
IEEE
15 years 8 months ago
Semantics for a Real-Time Object-Oriented Programming Language
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
Ichiro Satoh, Mario Tokoro
WWW
2001
ACM
16 years 5 months ago
Supporting Deaf Sign Languages in Written Form on the Web
The SSiiggnnWWrritiitinngg system is a writing system for deaf sign languages. SSWWMMLL (SignWriting Markup Language) is an XML-based format that we are developing for the storage...
Antônio Carlos da Rocha Costa, Graçal...