1356 search results - page 108 / 272 » The ideal of verified software |
162
click to vote
SI3D
1995
ACM
15 years 10 months ago
1995
ACM
This paper describes a software framework to aid in designing and implementing convenient manipulation behaviors for objects in a 3D virtual environment. A combination of almost r...
139
click to vote
USS
2008
15 years 8 months ago
2008
Voting with cryptographic auditing, sometimes called open-audit voting, has remained, for the most part, a theoretical endeavor. In spite of dozens of fascinating protocols and re...
157
click to vote
WSC
2008
15 years 8 months ago
2008
Modular construction has the advantage of producing structures quickly and efficiently, while not requiring the resources to build a structure to be co-located with the constructi...
182
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
In multi-agent applications, normative systems are usually used to regulate the behavior of the agents. They provide an efficient means to ensure limited deviations from an expecte...
155
click to vote
SAC
2008
ACM
15 years 5 months ago
2008
ACM
Modern software control systems must cope with uncertainty, manage dynamic environments, as well as provide greater flexibility. Distributed agent-based control systems are the id...