Sciweavers

3907 search results - page 642 / 782
» Information requirements engineering for data warehouse syst...
Sort
View
WWW
2003
ACM
16 years 7 months ago
On labeling schemes for the semantic web
This paper focuses on the optimization of the navigation through voluminous subsumption hierarchies of topics employed by Portal Catalogs like Netscape Open Directory (ODP). We ad...
Vassilis Christophides, Dimitris Plexousakis, Mich...
FOSSACS
2009
Springer
16 years 1 months ago
Bisimulation for Demonic Schedulers
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
Konstantinos Chatzikokolakis, Gethin Norman, David...
ECLIPSE
2004
ACM
15 years 12 months ago
Eclipse as a platform for research on interruption management in software development
Automated tools for mediating incoming interruptions are necessary in order to balance the concentration required for software development with the need to collaborate and absorb ...
Uri Dekel, Steven Ross
KCAP
2003
ACM
15 years 11 months ago
Design of customized web applications with OntoWeaver
OntoWeaver is our conceptual modelling methodology and a tool that support the specification and implementation of customized web applications. It relies on a number of different ...
Yuangui Lei, Enrico Motta, John Domingue
SC
1995
ACM
15 years 10 months ago
Predicting Application Behavior in Large Scale Shared-memory Multiprocessors
In this paper we present an analytical-based framework for parallel program performance prediction. The main thrust of this work is to provide a means for treating realistic appli...
Karim Harzallah, Kenneth C. Sevcik