12981 search results - page 470 / 2597 » Model Checking (Abstract) |
132
Voted
ADAEUROPE
2008
Springer
15 years 7 months ago
2008
Springer
The Ravenscar profile for Ada enforces several restrictions on the usage of general-purpose tasking constructs, thereby facilitating most analysis tasks and in particular functiona...
139
click to vote
JIISIC
2008
15 years 6 months ago
2008
This article presents an experience report on using MERODE as the business modeling method for the development of a web application. MERODE has several advantages as improving the...
143
click to vote
DLOG
2009
15 years 2 months ago
2009
A crucial task in process management is the validation of process refinements. A process refinement is a process description in a more fine-grained representation. The refinement i...
139
click to vote
JUCS
2010
14 years 11 months ago
2010
: We consider the uniform BSS model of computation where the machines can perform additions, multiplications, and tests of the form x 0. The oracle machines can also check whether...
141
click to vote
SIGMOD
2004
ACM
16 years 5 months ago
2004
ACM
Current day database applications, with large numbers of users, require fine-grained access control mechanisms, at the level of individual tuples, not just entire relations/views,...