112 search results - page 20 / 23 » A type directed translation of MLF to system F |
ER
2001
Springer
13 years 12 months ago
2001
Springer
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
DOLAP
2010
ACM
13 years 5 months ago
2010
ACM
Inter-business collaborative contexts prefigure a distributed scenario where companies organize and coordinate themselves to develop common and shared opportunities. Traditional b...
ER
2007
Springer
14 years 1 months ago
2007
Springer
There are a number of issues for information systems which are required to collect data urgently that are not well accommodated by current conceptual modelling methodologies and a...
HPDC
1997
IEEE
13 years 11 months ago
1997
IEEE
This paper describes PARDIS, a system containing explicit support for interoperability of PARallel DIStributed applications. PARDIS is based on the Common Object Request Broker Ar...
BMCBI
2007
13 years 7 months ago
2007
Background: Much recent work in bioinformatics has focused on the inference of various types of biological networks, representing gene regulation, metabolic processes, protein-pro...