2920 search results - page 424 / 584 » Finite information logic |
210
click to vote
MKM
2004
Springer
15 years 12 months ago
2004
Springer
As the amount of online formal mathematical content grows, for example through active efforts such as the Mathweb [21], MOWGLI [4], Formal Digital Library, or FDL [1], and others, ...
169
click to vote
ITCC
2003
IEEE
15 years 12 months ago
2003
IEEE
As web information systems tend to mature it has become increasingly important to have an engineered design of such systems. Hera is a design methodology that supports the develop...
172
click to vote
PDP
2003
IEEE
15 years 12 months ago
2003
IEEE
File I/O data is interpreted by high performance parallel/distributed applications mostly as a sequence of arbitrary bits. This leads to the situation where data is ’volatile’...
193
click to vote
DOLAP
2003
ACM
15 years 11 months ago
2003
ACM
Data visualization is one of the big issues of database research. OLAP as a decision support technology is highly related to the developments of data visualization area. In this p...
169
click to vote
ICEIS
2002
IEEE
15 years 11 months ago
2002
IEEE
: In this paper we present our most recent work carried out in the wider context of the IST-ADRENALIN project, to facilitate formation and lifecycle management of networked enterpr...