1022 search results - page 178 / 205 » New models and algorithms for programmable networks |
207
click to vote
POPL
2007
ACM
16 years 23 days ago
2007
ACM
In this paper, we propose a new algorithm for proving the validity or invalidity of a pre/postcondition pair for a program. The algorithm is motivated by the success of the algori...
102
Voted
SSR
2001
15 years 1 months ago
2001
As wide-area open networks like the Internet and intranets grow larger, mobile agent technology is attracting more attention. Mobile agents are units of software that can deal wit...
115
click to vote
RECSYS
2009
ACM
15 years 7 months ago
2009
ACM
Different buyers exhibit different purchasing behaviors. Some rush to purchase new products while others tend to be more cautious, waiting for reviews from people they trust. In...
107
Voted
GCB
2004
Springer
15 years 5 months ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
103
click to vote
DSN
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper considers the problem of electing an eventual leader in an asynchronous shared memory system. While this problem has received a lot of attention in messagepassing syste...