Sciweavers

6583 search results - page 1200 / 1317
» Semantic Analysis Patterns
Sort
View
117
Voted
C++
1994
128views more  C++ 1994»
15 years 4 months ago
Implementing Signatures for C++
ne the design and detail the implementation of a language extension for abstracting types and for decoupling subtyping and inheritance in C++. This extension gives the user more of...
Gerald Baumgartner, Vincent F. Russo
145
Voted
ASE
2008
120views more  ASE 2008»
15 years 3 months ago
Requirements model generation to support requirements elicitation: the Secure Tropos experience
In the last years several efforts have been devoted by researchers in the Requirements Engineering community to the development of methodologies for supporting designers during req...
Nadzeya Kiyavitskaya, Nicola Zannone
123
Voted
CORR
2008
Springer
84views Education» more  CORR 2008»
15 years 3 months ago
The Latent Relation Mapping Engine: Algorithm and Experiments
Many AI researchers and cognitive scientists have argued that analogy is the core of cognition. The most influential work on computational modeling of analogy-making is Structure ...
Peter D. Turney
ENGL
2008
129views more  ENGL 2008»
15 years 3 months ago
The Creation of a Chinese Emotion Ontology Based on HowNet
Full comprehension of language comes about by understanding the meaning and the emotion behind the communication. Understanding the meaning of language is the goal of natural lang...
Jiajun Yan, David B. Bracewell, Fuji Ren, Shingo K...
136
Voted
CN
2006
117views more  CN 2006»
15 years 3 months ago
Using equivalence-checking to verify robustness to denial of service
In this paper, we introduce a new security property which intends to capture the ability of a cryptographic protocol being resistant to denial of service. This property, called im...
Stéphane Lafrance
« Prev « First page 1200 / 1317 Last » Next »