1541 search results - page 303 / 309 » Tools and Techniques for Model Checking Networked Programs |
147
click to vote
JOT
2007
15 years 4 months ago
2007
This paper describes how to extract stock quote data and display it with a dynamic update (using free, but delayed data streams). As a part of the architecture of the program, we ...
140
click to vote
CP
2003
Springer
15 years 9 months ago
2003
Springer
Constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet,...
156
click to vote
ALMOB
2006
15 years 4 months ago
2006
Background: Discovering approximately repeated patterns, or motifs, in biological sequences is an important and widely-studied problem in computational molecular biology. Most fre...
126
click to vote
MOBISYS
2003
ACM
16 years 4 months ago
2003
ACM
Wireless transmission of a bit can require over 1000 times more energy than a single 32-bit computation. It would therefore seem desirable to perform significant computation to re...
170
click to vote
ADHOCNOW
2004
Springer
15 years 10 months ago
2004
Springer
Consider k particles, 1 red and k −1 white, chasing each other on the nodes of a graph G. If the red one catches one of the white, it “infects” it with its color. The newly ...