Sciweavers

4726 search results - page 80 / 946
» Domain Modeling of Software Process Models
Sort
View
AGTIVE
2007
Springer
14 years 23 days ago
Specifying Domain-Specific Refactorings for AndroMDA Based on Graph Transformation
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...
Gabriele Taentzer, Dirk Müller 0002, Tom Mens
DATE
2007
IEEE
123views Hardware» more  DATE 2007»
14 years 3 months ago
Clock domain crossing fault model and coverage metric for validation of SoC design
Multiple asynchronous clock domains have been increasingly employed in System-on-Chip (SoC) designs for different I/O interfaces. Functional validation is one of the most expensiv...
Yi Feng 0002, Zheng Zhou, Dong Tong, Xu Cheng
INFOCOM
2010
IEEE
13 years 7 months ago
A Frequency Domain Model to Predict the Estimation Accuracy of Packet Sampling
—In network measurement systems, packet sampling techniques are usually adopted to reduce the overall amount of data to collect and process. Being based on a subset of packets, t...
Luigi Alfredo Grieco, Chadi Barakat
BIRTHDAY
2007
Springer
14 years 2 months ago
Models and Software Model Checking of a Distributed File Replication System
With the Distributed File System Replication component, DFS-R, as the central theme, we present selected protocol problems and validation methods encountered during design and deve...
Nikolaj Bjørner
VISUAL
2005
Springer
14 years 2 months ago
Compressed Domain Image Retrieval Using JPEG2000 and Gaussian Mixture Models
We describe and compare three probabilistic ways to perform Content Based Image Retrieval (CBIR) in compressed domain using images in JPEG2000 format. Our main focus are arbitrary ...
Alexandra Teynor, Wolfgang Müller, Wolfgang L...