190 search results - page 28 / 38 » Dynamic Control Operators in Type Theory |
LCN
2003
IEEE
14 years 1 days ago
2003
IEEE
In IEEE 802.11 wireless LANs, the DCF access method and the PCF access method operate alternatively within a superframe to service the time-varying traffic demands. Due to differ...
EMSOFT
2004
Springer
14 years 5 days ago
2004
Springer
The paper introduces a higher-order synchronous data-flow language in which communication channels may themselves transport programs. This provides a mean to dynamically reconfi...
EMSOFT
2004
Springer
14 years 5 days ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
CCS
2007
ACM
14 years 29 days ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
SCP
1998
13 years 6 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...