16218 search results - page 426 / 3244 » Standards |
165
click to vote
SDMW
2004
Springer
16 years 13 days ago
2004
Springer
ing and Refining Authorization in SQL Arnon Rosenthal, Edward Sciore1 The SQL standard specifies authorization via a large set of rather opaque rules, which are difficult to unders...
176
click to vote
SEMWEB
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. In this paper, we present a Notification Agent designed and implemented using Semantic Web Services. The Notification Agent manages alerts when critical financial situati...
199
click to vote
TYPES
2004
Springer
16 years 13 days ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
205
click to vote
AINA
2003
IEEE
16 years 11 days ago
2003
IEEE
The use of mobile applications is increasing rapidly. Particularly, mobile applications for decision support systems, such as mobile datawarehouses, are very attractive. However, ...
176
click to vote
ARITH
2003
IEEE
16 years 11 days ago
2003
IEEE
Decimal arithmetic is the norm in human calculations, and human-centric applications must use a decimal floating-point arithmetic to achieve the same results. Initial benchmarks i...