2850 search results - page 467 / 570 » On Timed Models and Full Abstraction |
110
click to vote
ICCS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Using a scenario of multiple mobile observing platforms (UAVs) measuring weather variables in distributed regions of the Pacific, we are developing algorithms that will ...
90
Voted
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Since the seminal book by the Gang of Four, design patterns have proven an important tool in software development. Over time, more and more patterns have been discovered ...
96
Voted
SAMOS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Embedded systems are special purpose systems which perform predefined tasks with very specific requirements like high performance, low volume or low power. Most of the ...
GLOBECOM
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract— Despite the emergence of voice over IP and videoconferencing services, recent studies have shown that the Internet still may not provide acceptable quality for interact...
83
Voted
ICRA
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract - This paper introduces new analyses and algorithms which are essential for the practical implementation of continuous backbone continuum robots. Actuator length limits st...