873 search results - page 65 / 175 » step 2005 |
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Heterogeneity is a challenge to overcome in the design of embedded systems. We presented in the recent past a theory for the composition of heterogeneous components based on tagge...
EPIA
2005
Springer
15 years 5 months ago
2005
Springer
We present a general-purpose framework for updating a robot’s observation model within the context of planning and execution. Traditional plan execution relies on monitoring plan...
ESOP
2005
Springer
15 years 5 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
EUC
2005
Springer
15 years 5 months ago
2005
Springer
Advanced analysis of data for extracting useful knowledge is the next natural step in the world of ubiquitous computing. So far, most of the ubiquitous systems process knowledge in...
EVOW
2005
Springer
15 years 5 months ago
2005
Springer
Performance evaluation of routing protocols is an important area of research that deals with the analysis and investigation of such protocols. A performance evaluation framework un...