9412 search results - page 1590 / 1883 » An aspect-oriented generative approach |
203
Voted
FMICS
2010
Springer
15 years 6 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
180
click to vote
HM
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we consider solving a complex real life break scheduling problem. This problem of high practical relevance arises in many working areas, e.g. in air traffic control a...
167
click to vote
FCCM
2008
IEEE
15 years 6 months ago
2008
IEEE
Communications infrastructure for modular reconfiguration of FPGAs needs to support the changing communications interfaces of a sequence of modules. In order to avoid the overhead...
180
Voted
ADHOC
2007
15 years 6 months ago
2007
In the past five years Bluetooth scatternets were one of the most promising wireless networking technologies for ad hoc networking. In such networks, mobility together with the f...
165
Voted
AI
2008
Springer
15 years 6 months ago
2008
Springer
We propose a novel approach to self-regenerating continuously-operating systems. Such systems provide best-case solutions in security surveillance or decision making centers. We i...