2452 search results - page 210 / 491 » The Case for Precision Sharing |
165
Voted
SAS
2004
Springer
16 years 4 days ago
2004
Springer
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
174
click to vote
WMCSA
2002
IEEE
15 years 11 months ago
2002
IEEE
Applications running on a mobile and wireless devices must be able to adapt gracefully to limited and fluctuating network resources. The variety of applications, platforms upon w...
177
click to vote
BPM
2009
Springer
15 years 11 months ago
2009
Springer
This report will present a collection of tools that supports the precise definition, careful analysis, and execution of processes that coordinate the actions of humans, automated d...
218
click to vote
AGENTS
1997
Springer
15 years 11 months ago
1997
Springer
The coordination problem in multi-agent systems is the problem of managing dependencies between the activities of autonomous agents, in conditions of incomplete knowledge about th...
209
Voted
CRYPTO
1992
Springer
15 years 11 months ago
1992
Springer
Abstract Joseph Kilian NEC Research Princeton, NJ 08540 Tom Leighton Mathematics Department Laboratory for Computer Science MIT Cambridge, MA 02139 August 17, 1994 Fair" Publ...