Sciweavers

508 search results - page 21 / 102
» Definition and Validation of Design Metrics for Distributed ...
Sort
View
DAC
2002
ACM
16 years 22 days ago
Model design using hierarchical web-based libraries
Design tools can be profitably associated with libraries of reusable modeling components that will make the description and also the validation of the models much easier. Furtherm...
Fabrice Bernardi, Jean François Santucci
EDOC
2000
IEEE
15 years 4 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...
DATE
2010
IEEE
263views Hardware» more  DATE 2010»
15 years 4 months ago
SCOC3: a space computer on a chip
—This paper presents the definition of an integrated processor core ASIC named SCOC3 which is designed for space computers. It also presents the validation method that has led to...
Franck Koebel, Jean-François Coldefy
IEE
2007
126views more  IEE 2007»
14 years 11 months ago
Computer games software factory and edutainment platform for microsoft .NET
— This paper presents an environment targeted at computer games development industrialization in the .NET Platform. A computer game product line definition and its architecture a...
André Wilson Brotto Furtado, André L...
ICCV
2003
IEEE
16 years 1 months ago
Cumulative Residual Entropy, A New Measure of Information & its Application to Image Alignment
In this paper we use the cumulative distribution of a random variable to define the information content in it and use it to develop a novel measure of information that parallels S...
Fei Wang, Baba C. Vemuri, Murali Rao, Yunmei Chen