5683 search results - page 851 / 1137 » Interactive Schedulability Analysis |
196
click to vote
DSRT
2005
IEEE
16 years 9 days ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
159
click to vote
ISWC
2005
IEEE
16 years 8 days ago
2005
IEEE
In this paper we report the concept and initial prototype of a device that can be used to support evidence recovery at a crime scene. The key elements are radio frequency identifi...
184
click to vote
IV
2005
IEEE
16 years 7 days ago
2005
IEEE
Lowering computational cost of data analysis and visualization techniques is an essential step towards including the user in the visualization. In this paper we present an improve...
182
click to vote
GROUP
2005
ACM
16 years 7 days ago
2005
ACM
While users disseminate various information in the open and widely distributed environment of the Semantic Web, determination of who shares access to particular information is at ...
162
click to vote
MM
2005
ACM
16 years 7 days ago
2005
ACM
We present the MusicSurfer, a metadata free system for the interaction with massive collections of music. MusicSurfer automatically extracts descriptions related to instrumentatio...