Sciweavers

17082 search results - page 139 / 3417
» Abstractions for Mobile Computation
Sort
View
RECOMB
2007
Springer
14 years 9 months ago
Inferring a Duplication, Speciation and Loss History from a Gene Tree (Extended Abstract)
Cedric Chauve, Jean-Philippe Doyon, Nadia El-Mabro...
CHI
2010
ACM
14 years 4 months ago
Understanding the impact of abstracted audio preview of SMS
Alireza Sahami Shirazi, Ari-Heikki Sarjanoja, Flor...
DSN
2003
IEEE
14 years 2 months ago
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software
Stephan Thesing, Jean Souyris, Reinhold Heckmann, ...