1140 search results - page 89 / 228 » Simulation data exchange (SDX) implementation and use |
ICSE
2000
IEEE-ACM
14 years 16 days ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
INFOCOM
2003
IEEE
14 years 2 months ago
2003
IEEE
Abstract—Link bundling is a way to increase routing scalability whenever a pair of Label Switching Routers in MPLS are connected by multiple parallel links. However, link bundlin...
TSD
2010
Springer
13 years 6 months ago
2010
Springer
In the past decade great technological advances have been made in internet services, personal computers, telecommunications, media and entertainment. Many of these advances have be...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
The nature of semistructured data in web collections is evolving. Increasingly, XML web documents (or documents exchanged via web services) are valid with regard to a schema, yet ...
WSC
1998
13 years 10 months ago
1998
To begin using simulation in healthcare, one must first recognize the types of problems or decisions that can best be analyzed using simulation. Once a problem has been identified...