Sciweavers

6660 search results - page 458 / 1332
» Highly-Available Application Integration
Sort
View
SIGUCCS
2005
ACM
16 years 12 days ago
A case study: implementing novell identity management at Drew University
Starting in 2003, Drew University began a process to replace its manual account management procedures with an automated provisioning system based upon Novell technologies. Over th...
E. Axel Larsson
BTW
2005
Springer
177views Database» more  BTW 2005»
16 years 12 days ago
Composing Web Services Specifications: Experiences in Implementing Policy-Driven Transactional Processes
: The Web Services architecture defines various specifications that applications may wish to use in combination. In this paper, we investigate the composition of the Web services s...
Stefan Tai
TABLEAUX
2005
Springer
16 years 10 days ago
Unit Propagation in a Tableau Framework
Unit propagation is one of the most important techniques of efficient SAT solvers. Unfortunately, this technique is not directly applicable to first-order clausal tableaux. We sho...
Gernot Stenz
VLDB
2005
ACM
136views Database» more  VLDB 2005»
16 years 10 days ago
iMeMex: Escapes from the Personal Information Jungle
Modern computer work stations provide thousands of applications that store data in >100.000 files on the file system of the underlying OS. To handle these files data process...
Jens-Peter Dittrich, Marcos Antonio Vaz Salles, Do...
ISSAC
2001
Springer
141views Mathematics» more  ISSAC 2001»
15 years 11 months ago
On the Barnes function
The multiple Barnes function, defined as a generalization of the Euler gamma function, is used in many applications of pure and applied mathematics and theoretical physics. This pa...
Victor Adamchik