Sciweavers

3943 search results - page 132 / 789
» Architecture-Level Requirements Specification
Sort
View
ESORICS
2002
Springer
16 years 6 months ago
Confidentiality-Preserving Refinement is Compositional - Sometimes
Confidentiality-preserving refinement describes a relation between a specification and an implementation that ensures that all confidentiality properties required in the specificat...
Thomas Santen, Maritta Heisel, Andreas Pfitzmann
ITCC
2005
IEEE
16 years 2 days ago
Pareto-Optimal Hardware for Substitution Boxes
: In this paper, we propose a methodology based on genetic programming to automatically generate hardware designs of substitution boxes necessary for many cryptosystems such as DES...
Nadia Nedjah, Luiza de Macedo Mourelle
GI
2005
Springer
16 years 23 hour ago
A Model for the Classification of Interorganisational Standards
: Interorganisational standards are an important requirement for loosely coupled interorganisational relationships such as supply chain networks. The many different standardisation...
Ulrich M. Löwer
VL
2002
IEEE
111views Visual Languages» more  VL 2002»
15 years 11 months ago
An Interrogative Approach to Novice Programming
Domain specific programming languages tend to be rigid in capability and dependent on either a graphical interface or a scripting language. We present a question-oriented approach...
Alexander Quinn
NLPRS
2001
Springer
15 years 11 months ago
WordNet and Automated Text Summarization
Proposals for text classification and information retrieval have been recently presented making use of the WordNet ontology. Generally, this methodology requires statistical induc...
Rui Pedro Chaves