663 search results - page 53 / 133 » Process Algebra with Local Communication |
167
click to vote
ACISP
2008
Springer
16 years 11 days ago
2008
Springer
Abstract. Permission-role assignment is an important issue in rolebased access control (RBAC). There are two types of problems that may arise in permission-role assignment. One is ...
154
click to vote
SIGSOFT
1998
ACM
15 years 10 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
173
click to vote
AVSS
2006
IEEE
16 years 2 days ago
2006
IEEE
We consider the problem of optimal power scheduling for the decentralized detection of a deterministic signal in an inhomogeneous wireless sensor network. The observation noise at...
145
click to vote
ICC
2008
IEEE
16 years 13 days ago
2008
IEEE
Abstract—Establishing a radio link in cell-based mobile communication systems involves searching and synchronizing the downlink known pattern of sequences associated with the bas...
171
click to vote
TSE
2008
15 years 5 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...