23119 search results - page 4419 / 4624 » From Domain to Requirements |
185
click to vote
CCS
2003
ACM
15 years 12 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
167
click to vote
CHARME
2003
Springer
15 years 12 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
188
click to vote
COCO
2003
Springer
15 years 12 months ago
2003
Springer
We study the communication complexity of the set disjointness problem in the general multi-party model. For t players, each holding a subset of a universe of size n, we establish ...
149
click to vote
DSVIS
2003
Springer
15 years 11 months ago
2003
Springer
CAD systems have yet to become usable at the early stages of product ideation, where precise shape definitions and sometimes even design intentions are not fully developed. To over...
233
click to vote
EGOV
2003
Springer
15 years 11 months ago
2003
Springer
: New information and communication technologies within the Administration give rise to a series of important challenges: to select and use the various telematic and computer-relat...