725 search results - page 97 / 145 » Overview of TREC 2007 |
ER
2007
Springer
15 years 3 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...
ESOP
2007
Springer
15 years 3 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...
EUROCAST
2007
Springer
15 years 3 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...
HOTOS
2007
IEEE
15 years 3 months ago
2007
IEEE
Many systems design, configuration, runtime and management decisions must be made from a large set of possible alternatives. Ad hoc heuristics have traditionally been used to make...
WSC
2007
15 years 1 months ago
2007
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...