4447 search results - page 859 / 890 » Model Checking Games |
166
click to vote
OTM
2007
Springer
16 years 1 days ago
2007
Springer
In recent years, existing computing schemes and paradigms have evolved towards more flexible, ad-hoc scalable frameworks. Nowadays, exchanging interactions between entities often ...
184
Voted
ACMICEC
2006
ACM
15 years 12 months ago
2006
ACM
Supply chains are a central element of today’s global economy. Existing management practices consist primarily of static interactions between established partners. Global compet...
185
click to vote
UIST
2006
ACM
15 years 12 months ago
2006
ACM
The creation of most models used in computer animation and computer games requires the assignment of texture coordinates, texture painting, and texture editing. We present a novel...
171
click to vote
INFOCOM
2005
IEEE
15 years 11 months ago
2005
IEEE
— Multihoming is a popular method used by large enterprises and stub ISPs to connect to the Internet to reduce cost and improve performance. Recently researchers have studied the...
177
click to vote
MM
2005
ACM
15 years 11 months ago
2005
ACM
Multi-party voice-over-IP (MVoIP) services provide economical and natural group communication mechanisms for many emerging applications such as on-line gaming, distance collaborat...