5084 search results - page 766 / 1017 » Proving Possibility Properties |
185
click to vote
IEEEARES
2007
IEEE
16 years 28 days ago
2007
IEEE
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
172
click to vote
IJCNN
2007
IEEE
16 years 28 days ago
2007
IEEE
— Association Rule Mining is a thoroughly studied problem in Data Mining. Its solution has been aimed for by approaches based on different strategies involving, for instance, the...
184
click to vote
ISBI
2007
IEEE
16 years 28 days ago
2007
IEEE
Tagged magnetic resonance (MR) imaging makes it possible to image the motion of tissues such as the muscles found in the heart and tongue. The harmonic phase (HARP) method largely...
162
click to vote
RTSS
2007
IEEE
16 years 27 days ago
2007
IEEE
We propose a wireless medium access control (MAC) protocol that provides static-priority scheduling of messages in a guaranteed collision-free manner. Our protocol supports multip...
199
click to vote
RTSS
2007
IEEE
16 years 27 days ago
2007
IEEE
We present a performance analysis technique for distributed real-time systems in a setting where certain components are modeled in a purely functional manner, while the remainin...