Search For:

Displaying 1-7 out of 7 total
Efficient Boolean Manipulation with OBDD's Can be Extended to FBDD's
Found in: IEEE Transactions on Computers
By J. Gergov, C. Meinel
Issue Date:October 1994
pp. 1197-1209
<p>OBDD's are the state-of-the-art data structure for Boolean function manipulation. Basic tasks of Boolean manipulation such as equivalence test, satisfiability test, tautology test and single Boolean synthesis steps can be performed efficiently in ...
Implementation of an Enterprise-Level Groupware System Based on J2EE Platform and WebDAV Protocol
Found in: Enterprise Distributed Object Computing Conference, IEEE International
By C. Qu, T. Engel, C. Meinel
Issue Date:September 2000
pp. 160
According to our definition, the enterprise-level groupware system (EGS) is the Web-based groupware that focuses specifically on addressing some crucial cooperation requirements put forward by Business-to-Business and Business-to Consumer electronic commer...
IPv6 Deployment and Spam Challenges
Found in: IEEE Internet Computing
By H. Rafiee,M. von Löwis,C. Meinel
Issue Date:November 2012
pp. 22-29
Spam has posed a serious problem for users of email since its infancy. Today, automated strategies are required to deal with the massive amount of spam traffic. IPv4 networks offer a variety of solutions to reduce spam, but IPv6 networks' large address spa...
Logging and Signing Document-Transfers on the WWW - A Trusted Third Party Gateway
Found in: Web Information Systems Engineering, International Conference on
By A.L. Heuer, F. Losemann, C. Meinel
Issue Date:June 2000
pp. 0146
In the work we discuss a service that aims to make quoting of online documents, “web contents” easy and provable. For that reason we report the conception of a gateway that works as a Trusted Third Party (TTP) service which is based on a public key infrast...
A XML format secure protocol - OpenSST
Found in: Computer Systems and Applications, ACS/IEEE International Conference on
By Xinhua Zhang, Chunyan Jiang, Wangjun Huang, C. Meinel
Issue Date:January 2005
pp. 89-I
Summary form only given. OpenSST (Open Simple Secure Transaction) is a free software project and aims to create an efficient, open and secure alternative to the secure proprietary transaction protocol. OpenSST uses XML syntax to specify its message format,...
Routing based workflow for construction of distributed applications
Found in: Computers and Communications, IEEE Symposium on
By Wanjun Huang, Xinhua Zhang, U. Roth, C. Meinel
Issue Date:July 2004
pp. 80-85
Dynamic reconfiguration is absorbing more and more research focus for its increasing demand in inconstant distributed application. In This work we propose a routing based workflow to model the dataflow, runtime state and control management of cooperating c...
Speeding up variable reordering of OBDDs
Found in: Computer Design, International Conference on
By C. Meinel, A. Slobodova
Issue Date:October 1997
pp. 338
The use of Ordered Binary Decision Diagrams (OB-DDs) as a representation of Boolean functions brought essential progress in many different applications. The optimization of the OBDD-size by the choice of the variable ordering is known to be NP-hard. The kn...