Sciweavers

80 search results - page 7 / 16
» AzureBlast: a case study of developing science applications ...
Sort
View
TARK
2005
Springer
14 years 1 months ago
First-order classical modal logic: applications in logics of knowledge and probability
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
Horacio L. Arló-Costa, Eric Pacuit
ACMSE
2004
ACM
14 years 1 months ago
A Message Board Client for handheld devices
The need to develop portable applications for hand-held devices is growing rapidly. The proliferation of handheld devices such as cellular telephones and Personal Digital Assistan...
Jennifer M. Bennett, Mickey L. Armstrong, Swapna G...
ACSC
2005
IEEE
14 years 1 months ago
A Framework of Filtering, Clustering and Dynamic Layout Graphs for Visualization
Many classical graph visualization algorithms have already been developed over the past decades. However, these algorithms face difficulties in practice, such as the overlapping n...
Xiaodi Huang, Peter Eades, Wei Lai
SDM
2009
SIAM
204views Data Mining» more  SDM 2009»
14 years 4 months ago
Application of Bayesian Partition Models in Warranty Data Analysis.
Automotive companies are forced to continuously extend and improve their product line-up. However, increasing diversity, higher design complexity, and shorter development cycles c...
Axel Blumenstock, Christoph Schlieder, Markus M&uu...
GG
2008
Springer
13 years 8 months ago
Model-Driven Development of Model Transformations
The model-driven development of model transformations requires both a technique to model model transformations as well as a means to transform transformation models. Therefore, t...
Pieter Van Gorp