2920 search results - page 424 / 584 » Finite information logic |
231
click to vote
MKM
2004
Springer
16 years 13 days 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, ...
182
click to vote
ITCC
2003
IEEE
16 years 10 days 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...
199
click to vote
PDP
2003
IEEE
16 years 10 days 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’...
212
click to vote
DOLAP
2003
ACM
16 years 9 days 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...
187
click to vote
ICEIS
2002
IEEE
16 years 16 hour 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...