2645 search results - page 393 / 529 » Autonomous security for autonomous systems |
135
click to vote
MOBICOM
1999
ACM
15 years 8 months ago
1999
ACM
Large-scale networks of wireless sensors are becoming an active topic of research. Advances in hardware technology and engineering design have led to dramatic reductions in size, ...
130
click to vote
DEXAW
1998
IEEE
15 years 8 months ago
1998
IEEE
Huge size and high complexity of legacy software are the main sources of today's software evolution problems. While we can ease software evolution with re-engineering tools, ...
139
click to vote
ATAL
2007
Springer
15 years 8 months ago
2007
Springer
As more and more cars are equipped with GPS and Wi-Fi transmitters, it becomes easier to design systems that will allow cars to interact autonomously with each other, e.g., regard...
149
click to vote
ATAL
2004
Springer
15 years 8 months ago
2004
Springer
We have developed a set of tools to allow the use of model-checking techniques for the verification of systems directly implemented in an agent-oriented programming language. The ...
124
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...