Sciweavers

2834 search results - page 412 / 567
» Design Intent-Oriented Modelling Tools for Aesthetic Design
Sort
View
206
Voted
CBSE
2004
Springer
16 years 11 days ago
Prediction of Run-Time Resource Consumption in Multi-task Component-Based Software Systems
Embedded systems must be cost-effective. This imposes strict requirements on the resource consumption of their applications. It is therefore desirable to be able to determine the ...
Johan Muskens, Michel R. V. Chaudron
156
Voted
ICWE
2004
Springer
16 years 10 days ago
Semantic Capabilities for the Metrics and Indicators Cataloging Web System
In this paper we thoroughly discuss design and implementation issues for semantic search and navigation to ontology-based metrics and indicators metadata. These semantic search and...
Hernán Molina, Fernanda Papa, María ...
206
Voted
ICLP
1995
Springer
15 years 10 months ago
Operational Semantics of Constraint Logic Programs with Coroutining
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...
Andreas Podelski, Gert Smolka
170
Voted
APVIS
2010
15 years 8 months ago
Volume exploration using ellipsoidal Gaussian transfer functions
This paper presents an interactive transfer function design tool based on ellipsoidal Gaussian transfer functions (ETFs). Our approach explores volumetric features in the statisti...
Yunhai Wang, Wei Chen, Guihua Shan, Tingxin Dong, ...
187
Voted
IIWAS
2008
15 years 8 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...