1750 search results - page 110 / 350 » Research challenges of autonomic computing |
127
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
157
click to vote
EDCC
2010
Springer
15 years 8 months ago
2010
Springer
An important initiative in the automotive domain is the development of the ISO 26262 standard for functional safety of road vehicles. The standard introduces numerous techniques f...
123
Voted
ORL
2011
14 years 10 months ago
2011
Computing the 1-width of the incidence matrix of a Steiner Triple System gives rise to small set covering instances that provide a computational challenge for integer programming ...
138
Voted
MVA
2007
15 years 5 months ago
2007
Most vision-based UAV (Unmanned Aerial Vehicle) navigation algorithms extract manmade features such as buildings or roads, which are well structured in urban terrain, using the CC...
140
Voted
SIGMOD
2003
ACM
15 years 9 months ago
2003
ACM
: The “Grid” is an emerging infrastructure for coordinating access across autonomous organizations to distributed, heterogeneous computation and data resources. Data grids are ...