Sciweavers

7139 search results - page 146 / 1428
» Language Engineering in Practice
Sort
View
ISCAS
2005
IEEE
122views Hardware» more  ISCAS 2005»
15 years 12 months ago
Towards a rigorous formulation of the space mapping technique for engineering design
—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...
Slawomir Koziel, John W. Bandler, Kaj Madsen
WISER
2004
ACM
15 years 11 months ago
Aikido and software engineering
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...
David Socha
ACSW
2003
15 years 7 months ago
Provably Secure Key Exchange: An Engineering Approach
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...
Yiu Shing Terry Tin, Colin Boyd, Juanma Gonz&aacut...
VLDB
2007
ACM
126views Database» more  VLDB 2007»
16 years 6 months ago
SOR: A Practical System for Ontology Storage, Reasoning and Search
Ontology, an explicit specification of shared conceptualization, has been increasingly used to define formal data semantics and improve data reusability and interoperability in en...
Chen Wang, Jean-Sébastien Brunner, Jing Lu,...
CSFW
2004
IEEE
15 years 10 months ago
Lenient Array Operations for Practical Secure Information Flow
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...
Zhenyue Deng, Geoffrey Smith