1975 search results - page 239 / 395 » Property analysis and design understanding |
158
click to vote
QI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Information systems are socio-technical systems. Their design, analysis and implementation requires appropriate languages for representing social and technical concepts. ...
148
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract-- This paper addresses the issue of design of lowrate sparse-graph codes with linear minimum distance in the blocklength. First, we define a necessary condition which need...
149
click to vote
JUCS
2008
15 years 6 months ago
2008
: This paper summarizes a model of interaction for CVEs inspired by the process followed in human communication in the real world, detailing both the main elements and the communic...
166
click to vote
CADE
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
156
click to vote
WKDD
2010
CPS
16 years 1 months ago
2010
CPS
—A multi-party contract signing (MPCS) protocol allows a set of parties to exchange messages with each other to reach a state in which either each of them has a pre-agreed contra...