3006 search results - page 279 / 602 » Overview |
150
click to vote
ER
2007
Springer
15 years 8 months ago
2007
Springer
Data Warehouse (DWH) systems represent a single source of information for analyzing the status, the development and the results of an organization. Today's DWH systems provide...
147
click to vote
DIAGRAMS
2010
Springer
15 years 8 months ago
2010
Springer
Papers on diagrammatic reasoning often begin by dividing marks on paper into two basic classes: diagrams and sentences. While endorsing the perspective that a reasoning episode can...
131
click to vote
ESOP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. While a rigorous information flow analysis is a key step in obtaining meaningful end-to-end confidentiality guarantees, one must also permit possibilities for declassific...
140
click to vote
EUROCAST
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
142
click to vote
VLSID
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract—Microfluidics-based biochips are revolutionizing highthroughput sequencing, parallel immunoassays, clinical diagnostics, and drug discovery. These devices enable the pre...