10707 search results - page 1851 / 2142 » Designing executable abstractions |
198
click to vote
ISER
2004
Springer
16 years 17 days ago
2004
Springer
We present a series of experiments concerned with the inspection of regular, engineered structures carried out using swarms of five to twenty autonomous, miniature robots, solely ...
245
click to vote
ISI
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Terrorist events such as suicide bombings are rare yet extremely destructive events. Responses to such events are even rarer, because they require forecasting methods for...
232
click to vote
MATA
2004
Springer
16 years 17 days ago
2004
Springer
Distribution of product updates to embedded devices can increase product lifetimes for consumers and boost revenues for vendors. Dynamic provisioning of application solutions to e...
216
click to vote
METAINFORMATICS
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. The Model-Driven Development (MDD) describes and maintains models of the system under development. The Unified Modeling Language (UML) supports a set of semantics and no...
206
click to vote
PATMOS
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Crosstalk causes logical errors due to data dependent delay degradation as well as energy consumption and is considered the biggest signal integrity challenge for long on...