666 search results - page 113 / 134 » Component-Based Design and Analysis: A Case Study |
CCS
2007
ACM
15 years 5 months ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
103
click to vote
ESTIMEDIA
2007
Springer
15 years 5 months ago
2007
Springer
SoCs for multimedia applications typically use only one port to off-chip DRAM for cost reasons. The sharing of interconnect and the off-chip DRAM port by several IP blocks makes t...
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
A navigation model describes the possible sequences of web pages a user can visit, and a request routing model describes how server side components handle each request. Earlier we...
108
click to vote
ICRA
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— This paper presents a novel methodology for detecting collisions of cylindrically shaped rigid bodies moving in three dimensions. This algorithm uses line geometry and ...
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— Directional antennas are a promising option for use in ad-hoc networks for a variety of reasons, such as increased spatial reuse, reduced interference and enabling more effici...