4520 search results - page 870 / 904 » Algebraic Techniques for Timed Systems |
126
Voted
AI
2002
Springer
15 years 16 days ago
2002
Springer
Automated negotiation is a key form of interaction in systems that are composed of multiple autonomous agents. The aim of such interactions is to reach agreements through an itera...
120
click to vote
NA
2007
15 years 5 days ago
2007
A least-squares spectral collocation method for the one-dimensional inviscid Burgers equation is proposed. This model problem shows the stability and high accuracy of these scheme...
128
Voted
WCRE
2010
IEEE
14 years 11 months ago
2010
IEEE
—Often stakeholders, such as developers, managers, or buyers, want to find out what software development processes are being followed within a software project. Their reasons in...
86
Voted
FAST
2009
14 years 10 months ago
2009
We present sparse indexing, a technique that uses sampling and exploits the inherent locality within backup streams to solve for large-scale backup (e.g., hundreds of terabytes) t...
116
Voted
HIPC
2009
Springer
14 years 10 months ago
2009
Springer
Traditional performance analysis techniques are performed after a parallel program has completed. In this paper, we describe an online method for continuously monitoring the perfor...