Sciweavers

357 search results - page 44 / 72
» Isomorphism via translation
Sort
View
ECBS
2005
IEEE
110views Hardware» more  ECBS 2005»
15 years 5 months ago
Synthesis of C++ Software from Verifiable CSPm Specifications
CSP++ is an object-oriented application framework for execution of CSP specifications that have been automatically synthesized into C++ source code by the cspt translator. We desc...
Stephen Doxsee, William B. Gardner
WSE
2005
IEEE
15 years 5 months ago
Towards Evolving Web Sites into Grid Services Environment
Grid services are emerged by integrating Grid computing and Web services to perform a seamless information processing system across distributed, heterogeneous, dynamic virtual org...
Jianzhi Li, Hongji Yang
ICCHP
2004
Springer
15 years 5 months ago
An Adaptive and Predictive Environment to Support Augmentative and Alternative Communication
In this paper we describe Bliss2003, an Information and Communication Technology (ICT) aid for verbal impaired people supporting the use of Augmentative and Alternative Communicati...
Nicola Gatti, Matteo Matteucci, Licia Sbattella
WADT
2004
Springer
15 years 5 months ago
Ontologies for the Semantic Web in Casl
Abstract. This paper describes a sublanguage of Casl, called CaslDL, that corresponds to the Web Ontology Language (OWL) being used for the semantic web. OWL can thus benefit from...
Klaus Lüttich, Till Mossakowski, Bernd Krieg-...
IDEAS
2003
IEEE
100views Database» more  IDEAS 2003»
15 years 5 months ago
Querying XML Data by the Nested Relational Sequence Database System
In this concise paper, we present the Nested Relational Sequence Model (NRSM), which is an extension of the Nested Relational Data Model in order to handle XML data. We also intro...
Ho Lam Lau, Wilfred Ng