3552 search results - page 433 / 711 » Proof theory in the abstract |
157
click to vote
IPPS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract. This paper uses a theory of composition based on existential and universal properties. Universal properties are useful to describe components interactions through shared ...
187
click to vote
EKAW
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Conceptual Information Systems unfold the conceptual structure of data stored in relational databases. In the design phase of the system, conceptual hierarchies have to b...
177
click to vote
ERCIMDL
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This text motivates and de nes a generic model for interactive online or o ine product catalogs. Based on a detailed requirements analysis, the data model is de ned usi...
153
Voted
EUROCRYPT
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. This paper describes new methods for fast correlation attacks, based on the theory of convolutional codes. They can be applied to arbitrary LFSR feedback polynomials, in ...
151
Voted
QCQC
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. We briefly review the development and theory of an experiment to investigate quantum computation with trapped calcium ions. The ion trap, laser and ion requirements are d...