Sciweavers

1436 search results - page 79 / 288
» Language Support for Managing Variability in Architectural M...
Sort
View
EKAW
2006
Springer
14 years 25 days ago
From Natural Language to Formal Proof Goal
Guidelines (Extended abstract) Ruud Stegers1 , Annette ten Teije1 , and Frank van Harmelen1 Vrije Universiteit, Amsterdam The main problem encountered when starting verification of...
Ruud Stegers, Annette ten Teije, Frank van Harmele...
CIDR
2011
249views Algorithms» more  CIDR 2011»
13 years 23 days ago
The Case for Predictive Database Systems: Opportunities and Challenges
This paper argues that next generation database management systems should incorporate a predictive model management component to effectively support both inward-facing application...
Mert Akdere, Ugur Çetintemel, Matteo Rionda...
DOLAP
2009
ACM
14 years 3 months ago
LMDQL: link-based and multidimensional query language
The current commercial and academic OLAP tools do not process XML data that make use of XLink. To develop OLAP systems for helping in the analysis of such data, this paper propose...
Paulo Caetano da Silva, Fábio Santos Souza,...
DEXAW
2005
IEEE
119views Database» more  DEXAW 2005»
14 years 2 months ago
A Performance Measurement Perspective for Event-Driven Process Chains
Business processes access Data Warehouse (DWH) information for performance measurement, supporting business decisions. Today, there are no conceptual models available that make th...
Veronika Stefanov, Beate List
ODRL
2004
13 years 10 months ago
Nonius: Implementing a DRM Extension to an XML Browser
The paper describes experiences, ideas, and problems that were discovered while developing a digital rights management (DRM) extension to an XML browser. The supported rights desc...
Olli Pitkänen, Ville Saarinen, Jari Anttila, ...