Sciweavers

31387 search results - page 115 / 6278
» Abstracts
Sort
View
IEEESCC
2009
IEEE
15 years 9 months ago
A Task Abstraction and Mapping Approach to the Shimming Problem in Scientific Workflows
Cui Lin, Shiyong Lu, Xubo Fei, Darshan Pai, Jing H...
INFOCOM
2009
IEEE
15 years 9 months ago
Fault Management Using the CONMan Abstraction
Hitesh Ballani, Paul Francis
IROS
2009
IEEE
175views Robotics» more  IROS 2009»
15 years 9 months ago
A discrete grid abstraction for formation control in the presence of obstacles
Damjan Miklic, Stjepan Bogdan, Sanjin Nestic, Rafa...
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
15 years 9 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer