4075 search results - page 561 / 815 » Modeling Distributed Algorithm Using B |
138
click to vote
ECAL
2001
Springer
15 years 11 months ago
2001
Springer
Several of the Major Transitions in natural evolution, such as the symbiogenic origin of eukaryotes from prokaryotes, share the feature that existing entities became the components...
188
click to vote
DAC
2010
ACM
15 years 10 months ago
2010
ACM
The identification of speedpaths is required for post-silicon (PS) timing validation, and it is currently becoming timeconsuming due to manufacturing variations. In this paper we...
190
click to vote
VLDB
1991
ACM
15 years 10 months ago
1991
ACM
Queries in object-oriented datab;Lqcs are formulated against a class and retrieve instnnccls of the class sat,isfying a certain predicate on the att,riblltes of the class. The pre...
141
click to vote
ANOR
2010
15 years 6 months ago
2010
Abstract In the controlled ovary hyperstimulation (COH) cycle of the in vitro fertilization-embryo transfer (IVFET) therapy, the clinicians observe the patients' responses to ...
181
click to vote
IAJIT
2007
15 years 6 months ago
2007
: Routing is an important functional aspect in wireless ad-hoc networks that handles discovering and maintaining the paths between nodes within a network. Due to nodes mobility, th...