3218 search results - page 255 / 644 » Timed Extensions for SDL |
144
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—AADL is an Architecture Description Language which describes embedded real-time systems. Behavior annex is an extension of the dispatch mechanism of AADL execution model. This p...
169
click to vote
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Locality Sensitive Hashing (LSH) is widely used for efficient retrieval of candidate matches in very large audio, video, and image systems. However, extremely large reference dat...
166
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
— Localization systems based on Received Signal Strength Indicator (RSSI) exploit fingerprinting (based on extensive signal strength measurements) to calibrate the system paramet...
162
click to vote
QEST
2009
IEEE
16 years 1 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
172
click to vote
QSHINE
2009
IEEE
16 years 1 months ago
2009
IEEE
To achieve required sensing coverage for a very long period of time is an important and challenging problem in sensor network design. Recently, Tong et al. have proposed a node rep...