7139 search results - page 146 / 1428 » Language Engineering in Practice |
152
click to vote
ISCAS
2005
IEEE
15 years 12 months ago
2005
IEEE
—This paper deals with the Space Mapping (SM) approach to engineering design optimization. We attempt here a theoretical justification of methods that have already proven efficie...
129
click to vote
WISER
2004
ACM
15 years 11 months ago
2004
ACM
Aikido is a martial art whose core philosophy is about conflict resolution and taking care of our opponents and ourselves. My experience, and the experience of fellow aikidoists w...
186
click to vote
ACSW
2003
15 years 7 months ago
2003
We promote an engineering approach to design of provably secure key exchange protocols. Using the model of Canetti and Krawczyk we present a systematic method to arrive at efficie...
243
click to vote
VLDB
2007
ACM
16 years 6 months ago
2007
ACM
Ontology, an explicit specification of shared conceptualization, has been increasingly used to define formal data semantics and improve data reusability and interoperability in en...
151
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Our goal in this paper is to make secure information flow typing more practical. We propose simple and permissive typing rules for array operations in a simple sequential imperati...