4118 search results - page 474 / 824 » Mechanisms for usage control |
182
click to vote
ICECCS
2005
IEEE
16 years 1 months ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
210
click to vote
ICMCS
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a streaming media test bed for IP networks. Besides a streaming server and a streaming media client, it consists of an IP network emulator, a high-performance packet ca...
154
click to vote
ICMENS
2005
IEEE
16 years 1 months ago
2005
IEEE
The paper presents a digital oscillating loop for a MEMS resonator in which the instantaneous resonator position is estimated on-line with a Kalman observer. The approach is appli...
195
click to vote
CSCWD
2005
Springer
16 years 1 months ago
2005
Springer
Distributed systems generally require their component parts to interact cooperatively, in order for the system as a whole to function effectively. For any given activity, several ...
218
click to vote
EUROPAR
2005
Springer
16 years 1 months ago
2005
Springer
Sophisticated parallel matrix multiplication algorithms like PDGEMM exhibit a complex structure and can be controlled by a large set of parameters including blocking factors and bl...