Sciweavers

1736 search results - page 150 / 348
» Semantic Annotation for Java
Sort
View
CADE
2004
Springer
15 years 10 months ago
Rewriting Logic Semantics: From Language Specifications to Formal Analysis Tools
Formal semantic definitions of concurrent languages, when specified in a well-suited semantic framework and supported by generic and efficient formal tools, can be the basis of pow...
José Meseguer, Grigore Rosu
SEMWEB
2007
Springer
15 years 4 months ago
EachWiki: Suggest to Be an Easy-To-Edit Wiki Interface for Everyone
Abstract. In this paper, we present EachWiki, an extension of Semantic MediaWiki characterized by an intelligent suggestion mechanism. It aims to facilitate the wiki authoring by r...
Huajie Zhang, Linyun Fu, Haofen Wang, Haiping Zhu,...
ICDCIT
2007
Springer
15 years 1 months ago
An Adaptive Metadata Model for Domain-Specific Service Registry
Abstract. A domain-specific service registry should satisfy two requirements at least: coping with diverse service description requirements from different services; supporting sema...
Kun Chen, Yanbo Han, Dongju Yang, Yongshan Wei, Wu...
ICAT
2006
IEEE
15 years 4 months ago
Hierarchical 3D Data Rendering System Synchronizing with HTML
Abstract. We propose a new rendering system for large-scale, 3D geometic data that can be used with web-based content management systems (CMS). To achieve this, we employed a geome...
Yousuke Kimura, Tomohiro Mashita, Atsushi Nakazawa...
VL
2005
IEEE
159views Visual Languages» more  VL 2005»
15 years 3 months ago
Executable Visual Contracts
Design by Contract (DbC) is widely acknowledged to be a powerful technique for creating reliable software. DbC allows developers to specify the behavior of an operation precisely ...
Marc Lohmann, Stefan Sauer, Gregor Engels