3676 search results - page 438 / 736 » Scalable component abstractions |
232
click to vote
SPIN
2004
Springer
16 years 4 days ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
208
click to vote
WABI
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Haplotype inference problem asks for a set of haplotypes explaining a given set of genotypes. Popular software tools for haplotype inference (e.g., PHASE, HAPLOTYPER) as ...
178
click to vote
INFOCOM
2003
IEEE
16 years 2 days ago
2003
IEEE
Abstract— Efficient bandwidth allocation strategy with simultaneous fulfillment of QoS requirement of a user in a mobile cellular network is still a critical and an important p...
185
click to vote
INFOCOM
2003
IEEE
16 years 2 days 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...
169
click to vote
CAISE
2003
Springer
16 years 1 days ago
2003
Springer
Peer-to-Peer (P2P) computing has been increasingly gaining interest. P2P architectures are no longer just used for sharing music files over the InP2P middleware systems attempt to...