4604 search results - page 57 / 921 » Concurrency in Synchronous Systems |
151
click to vote
POLICY
2009
Springer
16 years 2 days ago
2009
Springer
Abstract—An administrative role-based access control (ARBAC) model specifies administrative policies over a role-based access control (RBAC) system, where an administrative perm...
123
click to vote
FPL
2009
Springer
15 years 10 months ago
2009
Springer
Hardware-timestamping is essential for achieving tight synchronization in networking applications. This mechanism is selectively used on few high-cost tailored systems. Actual μP...
190
click to vote
CCECE
2006
IEEE
15 years 11 months ago
2006
IEEE
Real Time embedded system designers are facing extreme challenges in underlying architectural design selection. It involves the selection of a programmable, concurrent, heterogene...
159
click to vote
ICLP
2005
Springer
15 years 11 months ago
2005
Springer
We present a methodology for the modeling of complex program behavior in CLP. In the first part we present an informal description about how to represent a system in CLP. At its ...