3381 search results - page 363 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
175
click to vote
EUROCRYPT
2007
Springer
16 years 26 days ago
2007
Springer
Protocols proven secure within the universal composability (UC) framework satisfy strong and desirable security properties. Unfortunately, it is known that within the “plain” m...
200
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Non-rigid registration is central to many problems in computer vision and medical image analysis. We propose a registration algorithm which is regularized by prior knowledge in th...
147
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
In multi-agent communities, trust is required when agents hold different beliefs or conflicting goals. We present a framework for decomposing agent reputation into competence—...
146
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
150
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Performance of distributed applications largely depends on the mapping of their components on the underlying architecture. On one mponent-based approaches provide an abstraction su...