26354 search results - page 4890 / 5271 » How we refactor, and how we know it |
190
click to vote
NBIS
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we describe our modifications to ospfd, a popular open-source implementation of OSPF routing protocol. The ospfd software can also be run in simulation mode, where...
218
click to vote
OTM
2009
Springer
16 years 1 months ago
2009
Springer
Real-time event stream processing (RT-ESP) applications must synchronize continuous data streams despite fluctuations in resource availability. Satisfying these needs of RT-ESP ap...
174
click to vote
SPIN
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Symbolic reachability analysis provides a basis for the verification of software systems by offering algorithmic support for the exploration of the program state space ...
203
click to vote
CANDC
2009
ACM
16 years 1 months ago
2009
ACM
Crafters today blend age-old techniques such as weaving and pottery with new information and communication technologies such as podcasts, online instructions, and blogs. This inte...
173
click to vote
GROUP
2009
ACM
16 years 1 months ago
2009
ACM
Networked multiplayer games must support a much wider variety of interactions than single-player games because networked games involve communication and coordination between playe...