16666 search results - page 2721 / 3334 » Descriptive and Computational Complexity |
200
click to vote
GRAPHITE
2005
ACM
16 years 22 days ago
2005
ACM
Linear perspective is a good approximation to the format in which the human visual system conveys 3D scene information to the brain. Artists expressing 3D scenes, however, create ...
240
click to vote
WS
2005
ACM
16 years 22 days ago
2005
ACM
Mobile ad hoc networks (MANETs) offer communication over a shared wireless channel without any pre-existing infrastructure. Forming peer-to-peer security associations in MANETs i...
238
click to vote
AISADM
2005
Springer
16 years 22 days 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 ...
212
click to vote
CCS
2005
ACM
16 years 22 days ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
193
click to vote
ESOP
2005
Springer
16 years 21 days ago
2005
Springer
Are computing systems trustworthy? To answer this, we need to know three things: what the systems are supposed to do, what they are not supposed to do, and what they actually do. A...