581 search results - page 69 / 117 » Translating dependency into parametricity |
CHI
2000
ACM
14 years 2 months ago
2000
ACM
Coordination definitions and metrics are reviewed from the motor control, biomedical, and human factors literature. This paper presents an alternative measurement called the M-met...
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
EDBT
1992
ACM
14 years 1 months ago
1992
ACM
The DBGraph storage model, designed for main memory DBMS, ensures both data storage compactness and efficient processing for all database operations. By representing the entire da...
ECAI
2008
Springer
13 years 11 months ago
2008
Springer
In this paper we introduce NUBIA, a middleware that combines, through business rules, information generated by heterogeneous and autonomous systems. Communication between NUBIA and...
LREC
2010
13 years 11 months ago
2010
Without any doubt corpora are vital tools for linguistic studies and solution for applied tasks. Although corpora opportunities are very useful, there is a need of another kind of...