Sciweavers

8008 search results - page 367 / 1602
» Computer-Aided Language Processing
Sort
View
158
Voted
CIBSE
2009
ACM
16 years 1 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
16 years 1 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
16 years 5 days 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 10 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 7 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...