Sciweavers

826 search results - page 71 / 166
» Designing for families
Sort
View
PLDI
2003
ACM
15 years 3 months ago
A static analyzer for large safety-critical software
d Abstract) Bruno Blanchet∗ § Patrick Cousot§ Radhia Cousot∗¶ J´erˆome Feret§ Laurent Mauborgne§ Antoine Min´e§ David Monniaux∗§ Xavier Rival§ that abstract inter...
Bruno Blanchet, Patrick Cousot, Radhia Cousot, J&e...
CAISE
2008
Springer
14 years 11 months ago
Extended Kaos to Support Variability for Goal Oriented Requirements Reuse
This work is done as part of the Tacos project1 whose aims is to define a component-based approach to specify trustworthy systems from the requirements phase to the specification p...
Farida Semmak, Christophe Gnaho, Régine Lal...
EUROITV
2008
Springer
14 years 11 months ago
Interactive Coffee Tables: Interfacing TV within an Intuitive, Fun and Shared Experience
Watching television is usually a shared experience allowing family or friends that share the same viewing interests to watch, comment and enjoy programs together. The interaction p...
Radu-Daniel Vatavu, Stefan Gheorghe Pentiuc
AVI
2010
14 years 11 months ago
Tracing genealogical data with TimeNets
We present TimeNets, a new visualization technique for genealogical data. Most genealogical diagrams prioritize the display of generational relations. To enable analysis of famili...
Nam Wook Kim, Stuart K. Card, Jeffrey Heer
COMAD
2008
14 years 11 months ago
REBMEC: Repeat Based Maximum Entropy Classifier for Biological Sequences
An important problem in biological data analysis is to predict the family of a newly discovered sequence like a protein or DNA sequence, using the collection of available sequence...
Pratibha Rani, Vikram Pudi