3742 search results - page 589 / 749 » On the Use of Formal Techniques for Validation |
185
click to vote
INFOCOM
2007
IEEE
16 years 23 days ago
2007
IEEE
— Recently, research on disconnected networks has been fostered by several studies on delay-tolerant networks, which are designed in order to sustain disconnected operations. We ...
160
click to vote
IROS
2007
IEEE
16 years 22 days ago
2007
IEEE
— This paper considers the problem of coordinating multiple vehicles with kinodynamic constraints that operate in the same partially-known environment. The vehicles are able to c...
152
click to vote
ISBI
2007
IEEE
16 years 22 days ago
2007
IEEE
Pittsburg Compound B (PIB) is a Positron Emission Tomography (PET) radio tracer used to image in-vivo, beta amyloid plaques which are one of the major histopathological hallmarks ...
167
click to vote
SBACPAD
2007
IEEE
16 years 22 days ago
2007
IEEE
— Telemedicine, distance learning and e-commerce applications impose time constraints directly related to the efficacy of their operations. In order to offer reliability levels ...
149
click to vote
VTC
2007
IEEE
16 years 21 days ago
2007
IEEE
Abstract—Group-orthogonal multicarrier code-division multiple access (GO-MC-CDMA) has been proposed as a multiplexing technique for the uplink segment of wireless systems. The di...