3907 search results - page 257 / 782 » Information requirements engineering for data warehouse syst... |
186
click to vote
VSTTE
2005
Springer
16 years 4 days ago
2005
Springer
We formulate some research and development challenges that relate what a verifying compiler can verify to the definition and analysis of the application-content of programs, where...
187
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Heterogeneous multiprocessors are emerging as the dominant implementation approach to embedded multiprocessor systems. In addition to having processing elements suited to the targ...
185
click to vote
ECIR
2008
Springer
15 years 8 months ago
2008
Springer
As the world has shifted towards manipulation of information and its technology, we have been increasingly overwhelmed by the amount of available multimedia data while having highe...
184
click to vote
CIKM
2010
Springer
15 years 5 months ago
2010
Springer
A typical collection of personal information contains many documents and mentions many concepts (e.g., person names, events, etc.). In this environment, associative browsing betwe...
182
click to vote
CMSB
2004
Springer
16 years 1 days ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...