2637 search results - page 474 / 528 » Tool Supported Specification and Simulation of Distributed S... |
ICDCS
2007
IEEE
14 years 5 months ago
2007
IEEE
Application-layer overlay networks have recently emerged as a promising solution for live media multicast on the Internet. A tree is probably the most natural structure for a mult...
PPOPP
2009
ACM
14 years 11 months ago
2009
ACM
Because data races represent a hard-to-manage class of errors in concurrent programs, numerous approaches to detect them have been proposed and evaluated. We specifically consider...
SIGSOFT
2008
ACM
14 years 11 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
BMCBI
2008
13 years 11 months ago
2008
Background: Graphs and networks are common analysis representations for biological systems. Many traditional graph algorithms such as k-clique, k-coloring, and subgraph matching h...
ACL
2010
13 years 9 months ago
2010
In the business world, analyzing and dealing with risk permeates all decisions and actions. However, to date, risk identification, the first step in the risk management cycle, has...