1351 search results - page 190 / 271 » A Possible Approach to the Development of Robotic Multi-Agen... |
143
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
177
click to vote
HICSS
2009
IEEE
16 years 23 days ago
2009
IEEE
The idea to develop applications and infrastructure software as software product lines (SPLs) is continuously growing in acceptance throughout the software industry. The ability t...
150
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Electronic Transactions over the Internet, particularly using the World Wide Web have become an integral part of economic life. Recently also the public sector has started to use ...
176
click to vote
USS
2004
15 years 7 months ago
2004
Computer worms -- malicious, self-propagating programs -- represent a significant threat to large networks. One possible defense, containment, seeks to limit a worm's spread ...
192
click to vote
AISADM
2005
Springer
15 years 11 months ago
2005
Springer
Computer programming of complex systems is a time consuming effort. Results are often brittle and inflexible. Evolving, self-learning flexible multi-agent systems remain a distant ...