1895 search results - page 233 / 379 » Using ATL for Checking Models |
131
click to vote
SACMAT
2010
ACM
15 years 9 months ago
2010
ACM
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...
153
click to vote
WWW
2007
ACM
16 years 5 months ago
2007
ACM
To increase confidence in the correctness of specified policies, policy developers can conduct policy testing by supplying typical test inputs (requests) and subsequently checking...
157
click to vote
CJ
2004
15 years 4 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
156
click to vote
ICC
2007
IEEE
15 years 11 months ago
2007
IEEE
With the advent of cognitive radio technology, new paradigms for spectrum access can achieve near-optimal spectrum utilisation by letting each user sense and utilise available s...
131
click to vote
LCPC
2007
Springer
15 years 11 months ago
2007
Springer
The OpenMP standard was conceived to parallelize dense array-based applications, and it has achieved much success with that. Recently, a novel tasking proposal to handle unstructur...