Sciweavers

1336 search results - page 204 / 268
» Modelling and Analysis of PKI-Based Systems Using Process Ca...
Sort
View
125
Voted
DOLAP
2009
ACM
15 years 10 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,...
131
Voted
CCGRID
2010
IEEE
15 years 4 months ago
The Effects of Untruthful Bids on User Utilities and Stability in Computing Markets
Markets of computing resources typically consist of a cluster (or a multi-cluster) and jobs that arrive over time and request computing resources in exchange for payment. In this p...
Sergei Shudler, Lior Amar, Amnon Barak, Ahuva Mu'a...
130
Voted
BIRTHDAY
2003
Springer
15 years 8 months ago
Extreme Model Checking
One of the central axioms of extreme programming is the disciplined use of regression testing during stepwise software development. Due to recent progress in software model checkin...
Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar,...
EMSOFT
2005
Springer
15 years 9 months ago
Real-time interfaces for interface-based design of real-time systems with fixed priority scheduling
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
Ernesto Wandeler, Lothar Thiele
163
Voted
AVI
2006
15 years 4 months ago
An integrated task-based framework for the design and evaluation of visualizations to support preferential choice
In previous work, we proposed ValueCharts, a set of visualizations and interactive techniques to support the inspection of linear models of preferences. We now identify the need t...
Jeanette Bautista, Giuseppe Carenini