6530 search results - page 814 / 1306 » Application Integration |
222
click to vote
VLDB
1999
ACM
15 years 12 months ago
1999
ACM
We present an optimization method and algorithm designed for three objectives: physical data independence, semantic optimization, and generalized tableau minimization. The method ...
182
click to vote
DEXAW
2009
IEEE
15 years 11 months ago
2009
IEEE
Several aspects of secure operating systems have been analyzed and described as security patterns. However, existing patterns do not cover explicitly the secure interaction of user...
225
click to vote
CAINE
2008
15 years 9 months ago
2008
- The objective of this paper is to present a graphical-user-interface (GUI) in support of a decision support system (KASER) for machine understanding. In order to provide informat...
198
click to vote
COMPSAC
2008
IEEE
15 years 7 months ago
2008
IEEE
Software that has been well tested and analyzed may fail unpredictably when a certain combination of conditions occurs. In Bounded Exhaustive Testing (BET) all combinations are te...
218
click to vote
MSCS
2007
15 years 7 months ago
2007
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that fully integrates term-rewriting and λ-calculus. The rewrite rules...