2243 search results - page 274 / 449 » Contracts for Mobile Processes |
160
click to vote
WADS
1993
Springer
15 years 10 months ago
1993
Springer
Our work is based on the pioneering work in sphere separators done by Miller, Teng, Vavasis et al, [8, 12], who gave efficient static (fixed input) algorithms for finding sphere ...
156
click to vote
CTRS
1990
15 years 10 months ago
1990
Completion procedures, originated from the seminal work of Knuth and Bendix, are wellknown as procedures for generating confluent rewrite systems, i.e. decision procedures for al ...
157
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Most real-world negotiation scenarios involve multiple, interdependent issues. These scenarios are specially challenging because the agents' utility functions are nonlinear, ...
184
click to vote
CCGRID
2006
IEEE
15 years 10 months ago
2006
IEEE
Next-generation e-Science applications will require the ability to transfer information at high data rates between distributed computing centers and data repositories. A LambdaGri...
161
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Today’s mobile communication systems use sophisticated signal processing to achieve high transmission rates. Therefore a high complexity in the digital system part as well as ve...