Sciweavers

3667 search results - page 562 / 734
» Software Rejuvenation - Modeling and Analysis
Sort
View
FMICS
2008
Springer
13 years 11 months ago
Formal Verification of the Implementability of Timing Requirements
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...
Xiayong Hu, Mark Lawford, Alan Wassyng
HCI
2007
13 years 11 months ago
FPF-SB : A Scalable Algorithm for Microarray Gene Expression Data Clustering
Efficient and effective analysis of large datasets from microarray gene expression data is one of the keys to time-critical personalized medicine. The issue we address here is the ...
Filippo Geraci, Mauro Leoncini, Manuela Montangero...
MVA
2007
129views Computer Vision» more  MVA 2007»
13 years 11 months ago
Calculation of Bedding Angles Inclination from Drill Core Digital Images
In this paper, we describe a new technique for the automatic orientation of bedding in drill core from digital images. Images are planar pictures of the drill core, and we show th...
Thomas Quiniou, Nazha Selmaoui, Christine Laporte-...
WICON
2008
13 years 11 months ago
Programming in mobile ad hoc networks
The possibility for spontaneous ad hoc networks between mobile devices has been increasing as small devices become more capable of hosting useful networked applications. These app...
Justin Collins, Rajive Bagrodia
APVIS
2004
13 years 11 months ago
A Colour-Filling Approach For Visualising Trait Evolution With Phylogenies
The development of powerful visualisation tools is a major challenge in bioinformatics. Phylogenetics, a field with a growing impact on a variety of life science areas, is experie...
Savrina F. Carrizo