2996 search results - page 305 / 600 » Dynamic Traveling Repairperson Problem for dynamic systems |
164
click to vote
FLAIRS
2008
15 years 9 months ago
2008
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
174
click to vote
FORTE
2003
15 years 8 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
164
click to vote
SBACPAD
2004
IEEE
15 years 8 months ago
2004
IEEE
Large scale cluster, Peer-to-Peer computing systems and grid computer systems gather thousands of nodes for computing parallel applications. At this scale, it raises the problem o...
148
click to vote
PUK
2000
15 years 8 months ago
2000
Scheduling problems are usually treated within single plant environments or within companies with several production locations. Due to the globalization of markets companies can no...
185
click to vote
ENTCS
2007
15 years 6 months ago
2007
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...