2847 search results - page 231 / 570 » The Context-Dependent Role Model |
208
click to vote
ADAEUROPE
2001
Springer
15 years 11 months ago
2001
Springer
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
171
click to vote
IWANN
2001
Springer
15 years 11 months ago
2001
Springer
: Thalamic neurons have an exclusive property named bursting response. Bursting response seems to have a critical role in producing saliency map and encoding conspicuity of locatio...
216
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
162
click to vote
ACOM
2004
Springer
15 years 10 months ago
2004
Springer
The Cognitive Agent Specification Language (CASL) is a framework for specifying and verifying complex communicating multiagent systems. In this paper, we develop an extended versi...
178
click to vote
EUROCRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Standard security notions for encryption schemes do not guarantee any security if the encrypted messages depend on the secret key. Yet it is exactly the stronger notion of security...