1236 search results - page 121 / 248 » From Conceptual Modeling to Requirements Engineering |
179
click to vote
ISW
2004
Springer
15 years 11 months ago
2004
Springer
Due to the low entropy of human-memorable passwords, it is not easy to conduct password authenticated key agreement in a secure manner. Though there are many protocols achieving th...
152
click to vote
ICAIL
2003
ACM
15 years 11 months ago
2003
ACM
In the last decades the interest in the problem of comparing and harmonizing legislation has been steadily increasing. One reason is the increasing legal convergence between gover...
140
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
In an e-service environment, contracts are important for attaining business process interoperability and enforcing their proper enactment. An e-contract is the computerized facili...
186
click to vote
POPL
2010
ACM
15 years 6 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...
178
click to vote
CGA
2007
15 years 6 months ago
2007
Illustrative rendering is a widely used visualization technique to display conceptual information, describe problems and give insight to solve them efficiently in science, engine...