Sciweavers

8179 search results - page 1355 / 1636
» The PRACTIONIST Development Tool
Sort
View
ICCS
2005
Springer
16 years 4 days ago
Computational Complexity and Distributed Execution in Water Quality Management
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
Maria Chtepen, Filip H. A. Claeys, Bart Dhoedt, Pe...
ICLP
2005
Springer
16 years 4 days ago
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs
Our goal is to study the feasibility of porting termination analysis techniques developed for one programming paradigm to another paradigm. In this paper, we show how to adapt ter...
Manh Thang Nguyen, Danny De Schreye
ICSE
2005
IEEE-ACM
16 years 4 days ago
Component-based software engineering for embedded systems
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...
Ivica Crnkovic
ICSOC
2005
Springer
16 years 4 days ago
Pattern-Based Specification and Validation of Web Services Interaction Properties
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
Zheng Li, Jun Han, Yan Jin
ISMIR
2005
Springer
172views Music» more  ISMIR 2005»
16 years 4 days ago
Herding Folksongs
Cataloging a large, multi-media collection of traditional song and drama in preparation for online presentation highlights issues of song identity and access in the context of con...
Robert Young Walser
« Prev « First page 1355 / 1636 Last » Next »