2661 search results - page 487 / 533 » Model Checking Performability Properties |
IAJIT
2010
13 years 8 months ago
2010
: Privacy is one of the most important properties of an information system must satisfy, in which systems the need to share information among different, not trusted entities, the p...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— Skid-steered vehicles, by design, must skid in order to maneuver. The skidding causes the vehicle to behave discontinuously as well as introduces complications to the observati...
KES
2008
Springer
13 years 8 months ago
2008
Springer
Privacy is one of the most important properties of an information system must satisfy. In which systems the need to share information among different, not trusted entities, the pro...
INFOCOM
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract—We revisit the shortest path problem in asynchronous duty-cycled wireless sensor networks, which exhibit time-dependent features. We model the time-varying link cost and...
MICCAI
2010
Springer
13 years 8 months ago
2010
Springer
The high dimensionality of functional magnetic resonance imaging (fMRI) data presents major challenges to fMRI pattern classification. Directly applying standard classifiers often ...