13977 search results - page 2396 / 2796 » Evolution in complex systems |
185
click to vote
AGTIVE
2003
Springer
16 years 2 days ago
2003
Springer
Many polygon mesh algorithms operate in a local manner, yet are formally specified using global indexing schemes. This obscures the essence of these algorithms and makes their spe...
176
click to vote
AI
2003
Springer
16 years 2 days ago
2003
Springer
The problem of repair and maintenance of complex systems, such as aircraft, cars and trucks is certainly a nontrivial task. Maintenance technicians must use a great amount of knowl...
163
click to vote
ATAL
2003
Springer
16 years 2 days ago
2003
Springer
To increase the assurance with which agents can be deployed in operational settings, we have been developing the KAoS policy and domain services. In conjunction with Nomads strong...
177
Voted
ATAL
2003
Springer
16 years 2 days ago
2003
Springer
Making it easier to design interactions between agents and humans is essential for realizing multi-agent simulations of social phenomena such as group dynamics. To realize large-s...
223
click to vote
CCS
2003
ACM
16 years 2 days ago
2003
ACM
This paper continues the program initiated in [5], towards a derivation system for security protocols. The general idea is that complex protocols can be formally derived, starting...