Sciweavers

742 search results - page 60 / 149
» Constructing Hierarchical Rule Systems
Sort
View
JWE
2006
101views more  JWE 2006»
13 years 8 months ago
Reactivity on the Web: Paradigms and Applications of the Language XChange
Reactivity on the Web is an emerging issue. It is essential for upcoming Web systems such as online marketplaces, adaptive, Semantic Web systems as well as Web services and Grids....
François Bry, Michael Eckert, Paula-Lavinia...
ER
2003
Springer
150views Database» more  ER 2003»
14 years 1 months ago
EITH - A Unifying Representation for Database Schema and Application Code in Enterprise Knowledge Extraction
The integration of heterogeneous legacy databases requires understanding of database structure and content. We previously developed a theoretical and software infrastructure to sup...
Mark S. Schmalz, Joachim Hammer, Mingxi Wu, Oguzha...
CRYPTO
2004
Springer
138views Cryptology» more  CRYPTO 2004»
14 years 1 months ago
Secure Identity Based Encryption Without Random Oracles
We construct two efficient Identity Based Encryption (IBE) systems that are selective identity secure without the random oracle model. Selective identity secure IBE is a slightly w...
Dan Boneh, Xavier Boyen
DFG
2004
Springer
14 years 1 months ago
Executable HybridUML and Its Application to Train Control Systems
Abstract. In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the profile mechanism of UML 2.0 which is the ...
Kirsten Berkenkötter, Stefan Bisanz, Ulrich H...
TAPSOFT
1997
Springer
14 years 6 days ago
Specifying Complex and Structured Systems with Evolving Algebras
This paper presents an approach for specifying complex, structured systems with Evolving Algebras by means of aggregation and composition. Evolving algebras provide a formal method...
Wolfgang May