Sciweavers

313 search results - page 15 / 63
» Automated Qualitative Domain Abstraction
Sort
View
IMECS
2007
14 years 11 months ago
Web Service Integration Based on Abstract Forms in XML for End-user Initiative Development
ice Integration Based on Abstract Forms in XML for End-user Initiative Development Takeshi Chusho, Ryousuke Yuasa, Shinpei Nishida and Katsuya Fujiwara ∗ Abstract— The number o...
Takeshi Chusho, Ryousuke Yuasa, Shinpei Nishida, K...
FDL
2007
IEEE
15 years 1 months ago
A Domain Specific Language for Cryptography
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...
Giovanni Agosta, Gerardo Pelosi
DAC
2002
ACM
15 years 10 months ago
Transformation based communication and clock domain refinement for system design
The ForSyDe methodology has been developed for system level design. In this paper we present formal transformation methods for the refinement of an abstract and formal system mode...
Ingo Sander, Axel Jantsch
ICCS
2007
Springer
14 years 11 months ago
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
Rallou Thomopoulos, Jean-François Baget, Ol...
DLOG
1996
14 years 11 months ago
Description Logic as Core Machinery for the Automatic Generation of Multilingual Technical Documents
Our project aims at the automatic generation of multilingual text for product maintenance and documentation from a structured knowledge representation. The language independent re...
Thorsten Liebig, Dietmar Rösner