2293 search results - page 228 / 459 » Temporal Logic in Information Systems |
151
click to vote
SIGCSE
2009
ACM
16 years 7 months ago
2009
ACM
ion and Extensibility in Digital Logic Simulation Software Richard M. Salter and John L. Donaldson Computer Science Department Oberlin College Oberlin, OH 44074 rms@cs.oberlin.edu,...
182
click to vote
MMMACNS
2005
Springer
16 years 4 days ago
2005
Springer
Making correct access-control decisions is central to security, which in turn requires accounting correctly for the identity, credentials, roles, authority, and privileges of users...
160
Voted
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Parallel platforms are becoming ubiquitous with modern computing systems. Many parallel applications attempt to avoid locks in order to achieve high responsiveness, aid scalabilit...
194
click to vote
ICTAI
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In distributed environments, access control decisions depend on statements of multiple agents rather than only one central trusted party. However, existing policy langua...
181
click to vote
CAISE
2004
Springer
16 years 2 days ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...