3235 search results - page 316 / 647 » Partial Redundant Modeling |
154
Voted
ICSE
1993
IEEE-ACM
15 years 9 months ago
1993
IEEE-ACM
Composite systems generally comprise heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably ...
122
Voted
ACISP
2007
Springer
15 years 9 months ago
2007
Springer
Compact e-cash schemes allow a user to withdraw a wallet containing k coins in a single operation, each of which the user can spend unlinkably. One big open problem for compact e-c...
119
click to vote
APN
2006
Springer
15 years 8 months ago
2006
Springer
This paper describes the verification module (the VipVerify Module) of the VipTool [4]. VipVerify allows to verify whether a given scenario is an execution of a system model, given...
148
Voted
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
Decentralized partially observable Markov decision processes (DEC-POMDPs) form a general framework for planning for groups of cooperating agents that inhabit a stochastic and part...
154
click to vote
3DOR
2008
15 years 7 months ago
2008
Shape retrieval can benefit from analogies among similar shapes and parts of different objects. By partitioning an object to meaningful parts and finding analogous parts in other ...