1459 search results - page 111 / 292 » An authorization model for temporal data |
173
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
It has become good practice to expect authors of new model checking algorithms to provide not only rigorous evidence of the algorithms correctness, but also evidence of their pract...
132
click to vote
WCE
2007
15 years 7 months ago
2007
— A 3-D finite element model is used to simulate water jet spot welding. The simulation is validated using the experimental data obtained by one of authors with other workers. Th...
167
click to vote
ATAL
2009
Springer
15 years 7 months ago
2009
Springer
There are B2B relationships that presume cooperation in contract enactment. This issue should be taken into account when modeling, for computational handling, contractual commitmen...
201
click to vote
TCSV
2011
15 years 1 months ago
2011
In this paper, we explore the impact of frame rate and quantization on perceptual quality of a video. We propose to use the product of a spatial quality factor that assesses the q...
188
click to vote
ENTCS
2007
15 years 6 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...