5448 search results - page 126 / 1090 » Breakpoints and Time in Distributed Computations |
158
Voted
CONCUR
2003
Springer
15 years 9 months ago
2003
Springer
We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
135
Voted
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Historically, most radar sensor array processing has been implemented using dedicated and specialized processing systems. This approach was necessary because the algorithm computa...
228
click to vote
INFOCOM
2011
IEEE
14 years 7 months ago
2011
IEEE
—This paper addresses the problem of identifying the top-k information hubs in a social network. Identifying topk information hubs is crucial for many applications such as advert...
133
click to vote
ISORC
1999
IEEE
15 years 8 months ago
1999
IEEE
Designing distributed real-time systems as being composed of communicating objects offers many advantages with respect to modularity and extensibility of these systems. However, d...
126
Voted
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper describes an extension to the componentbased programming model to support real-time dynamic guarantee for distributed applications. The extended model aims to include a...