10916 search results - page 1888 / 2184 » On Constructive Connectives and Systems |
199
click to vote
NETGAMES
2005
ACM
16 years 8 days ago
2005
ACM
In this paper, we propose a new distributed event delivery method for MMORPG (Massively Multiplayer Online Role Playing Games). In our method, the whole game space is divided into...
163
Voted
PASTE
2005
ACM
16 years 8 days ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...
183
click to vote
PLDI
2005
ACM
16 years 8 days ago
2005
ACM
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
167
click to vote
SAC
2005
ACM
16 years 8 days ago
2005
ACM
This paper proposes a model along with a reference software architecture enabling multi-coordination between distributed and mobile software agents. Multi-coordination allows agen...
171
click to vote
SAC
2005
ACM
16 years 8 days ago
2005
ACM
Because of name variations, an author may have multiple names and multiple authors may share the same name. Such name ambiguity affects the performance of document retrieval, web ...