896 search results - page 86 / 180 » Restriction categories I: categories of partial maps |
ISSTA
2006
ACM
14 years 2 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
SAC
2006
ACM
14 years 2 months ago
2006
ACM
Dynamic languages typically allow programs to be written y high level of abstraction. But their dynamic nature makes it very hard to compile such languages, meaning that a price h...
ACMACE
2005
ACM
14 years 2 months ago
2005
ACM
We present a client/server system that is able to display 3D scenes on handheld devices. This kind of devices have important restrictions of memory and computing power. Therefore,...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
When rational but myopic agents negotiate over the exchange of indivisible resources, any restriction to the negotiation protocol may prevent the system from converging to a socia...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
The PartNET++ system is an experimental multi-agent-based simulation tool that uses a new model based on hyper-graphs for understanding partnership formation among heterogeneous a...