2153 search results - page 216 / 431 » From Requirements Models to Formal Specifications in B |
175
click to vote
WCRE
2003
IEEE
15 years 11 months ago
2003
IEEE
Our research goal is to retarget image processing programs written in sequential languages (e.g., C) to architectures with data-parallel processing capabilities. Image processing ...
170
click to vote
DOLAP
1999
ACM
15 years 10 months ago
1999
ACM
Modeling data warehouses is a complex task focusing, very often, into internal structures and implementation issues. In this paper we argue that, in order to accurately reflect the...
175
click to vote
DRM
2006
Springer
15 years 10 months ago
2006
Springer
In this paper we look at the problem of interoperability of digital rights management (DRM) systems in home networks. We introduce an intermediate module called the Domain Interop...
219
click to vote
JMLR
2006
15 years 6 months ago
2006
In recent years, several methods have been proposed for the discovery of causal structure from non-experimental data. Such methods make various assumptions on the data generating ...
189
click to vote
IEEESCC
2005
IEEE
16 years 3 days ago
2005
IEEE
eal world”, represented abstractly using (time-varying) first-order logic predicates and terms. A representative composition result [11] here uses a translation into Petri nets. ...