6202 search results - page 357 / 1241 » Without Loss of Generality |
153
click to vote
ASP
2001
Springer
15 years 11 months ago
2001
Springer
This workpresents a newlogical characterization of well foundedsemanticsthat provides, as interesting innovation, a fully semantic-oriented treatment of programconnectives without...
184
Voted
EUROCRYPT
2001
Springer
15 years 11 months ago
2001
Springer
Message integrity from one sender to one receiver is typically achieved by having the two parties share a secret key to compute a Message Authentication Code (MAC). We consider the...
245
click to vote
GCSE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Class hierarchies, though theoretically reusable, have generally not seen much practical reuse in applications, due in part to the inflexibility of the inheritance relat...
159
click to vote
NLPRS
2001
Springer
15 years 11 months ago
2001
Springer
Proposals for text classification and information retrieval have been recently presented making use of the WordNet ontology. Generally, this methodology requires statistical induc...
136
Voted
RTSS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper we present a framework integrating speci cation and scheduler generation for real-time systems. In a rst step, the system, which can include arbitrarily designed tas...