1646 search results - page 271 / 330 » Inlining of Virtual Methods |
165
Voted
DBISP2P
2005
Springer
15 years 10 months ago
2005
Springer
We propose a novel approach for de ning and querying a super-peer within a schema-based super-peer network organized into a two-level architecture: the low level, called the peer l...
123
Voted
GW
2005
Springer
15 years 10 months ago
2005
Springer
Simulating realistic human-like figures is still a challenging task when dynamics is involved. For example, making a virtual human jump to a given position requires to control the...
154
Voted
IFM
2005
Springer
15 years 10 months ago
2005
Springer
We present an embedding of the stable failures model of CSP in the PVS theorem prover. Our work, extending a previous embedding of the traces model of CSP in [6], provides a platfo...
125
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
We introduce MAGENTA’s commercial multi-agent systems technology, and illustrate its practical use by describing a field-tested application in the area of logistics/scheduling....
126
click to vote
CSCW
2004
ACM
15 years 10 months ago
2004
ACM
Under-contribution is a problem for many online communities. Social psychology theories of social loafing and goal-setting can provide mid-level design principles to address this ...