1529 search results - page 141 / 306 » Energy-Based Models of P Systems |
163
click to vote
VISUALIZATION
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper describes the architecture of a data level comparative visualization system and experiences using it to study computational fluid dynamics data and experimental wind tu...
115
click to vote
COCO
1994
Springer
15 years 8 months ago
1994
Springer
We study competing-prover one-round interactive proof systems. We show that one-round proof systems in which the rst prover is trying to convince a veri er to accept and the secon...
141
click to vote
ISW
2004
Springer
15 years 9 months ago
2004
Springer
We present a model of access control which provides fine-grained data-dependent control, can express permissions about permissions, can express delegation, and can describe syste...
136
click to vote
ICCS
2005
Springer
15 years 9 months ago
2005
Springer
The paper presents the Multi Agent System (MAS) designed for the large scale parallel computations. The special kind of diffusionbased scheduling enables to decompose and allocate...
123
click to vote
ISW
2005
Springer
15 years 9 months ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...