Sciweavers

27827 search results - page 397 / 5566
» Generating
Sort
View
121
Voted
ER
2006
Springer
143views Database» more  ER 2006»
15 years 7 months ago
On Generating Content and Structural Annotated Websites Using Conceptual Modeling
An important milestone in the evolution of the Web is the Semantic Web: a Web in which the semantics of the available content and functionality is made explicit. Web design methods...
Sven Casteleyn, Peter Plessers, Olga De Troyer
FSE
2006
Springer
99views Cryptology» more  FSE 2006»
15 years 7 months ago
Reducing the Space Complexity of BDD-Based Attacks on Keystream Generators
The main application of stream ciphers is online-encryption of arbitrarily long data, for example when transmitting speech data between a Bluetooth headset and a mobile GSM phone o...
Matthias Krause, Dirk Stegemann
CODES
2001
IEEE
15 years 7 months ago
Formal synthesis and code generation of embedded real-time software
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
Pao-Ann Hsiung
128
Voted
ICALP
2000
Springer
15 years 7 months ago
Generating Partial and Multiple Transversals of a Hypergraph
We consider two natural generalizations of the notion of transversal to a finite hypergraph, arising in data-mining and machine learning, the so called multiple and partial transve...
Endre Boros, Vladimir Gurvich, Leonid Khachiyan, K...
188
Voted
JAVACARD
2000
15 years 7 months ago
Automatic Test Generation for Java-Card Applets
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
Hugues Martin, Lydie du Bousquet