3400 search results - page 256 / 680 » tools 2008 |
145
click to vote
SOSYM
2002
15 years 6 months ago
2002
Abstract. The paper motivates and describes a model oriented approach for consistent specification of interface suites in UML. An interface suite is a coherent collection of interf...
182
click to vote
TCAD
2002
15 years 6 months ago
2002
The objective of this work is to create a framework for the optimization of embedded software. We present algorithms and a tool flow to reduce the computational effort of programs,...
168
click to vote
TCS
2002
15 years 6 months ago
2002
In this work, we investigate various specification languages and their relation to Casl, the recently developed Common Algebraic Specification Language. In particular, we consider...
191
click to vote
TOMACS
2002
15 years 6 months ago
2002
The utility of simulations and analysis heavily relies on good models of network traffic. While network traffic constantly changing over time, existing approaches typically take y...
183
click to vote
PVLDB
2008
15 years 6 months ago
2008
We present SEMANDAQ, a prototype system for improving the quality of relational data. Based on the recently proposed conditional functional dependencies (CFDs), it detects and rep...