Sciweavers

2339 search results - page 164 / 468
» Models and Tools for Mulan Applications
Sort
View
ICDE
2010
IEEE
248views Database» more  ICDE 2010»
15 years 11 months ago
MashRank: Towards uncertainty-aware and rank-aware mashups
Mashups are situational applications that build data flows to link the contents of multiple Web sources. Often times, ranking the results of a mashup is handled in a materializethe...
Mohamed A. Soliman, Mina Saleeb, Ihab F. Ilyas
SCSC
2007
15 years 8 months ago
A graphical variant approach to object-oriented modeling of dynamic systems
Abstract— Graphical variant modeling refers to a novel approach to object-oriented modeling whereby a class overrides behavior inherited from a parent class by specifying variati...
Paul Kinnucan, Pieter J. Mosterman
LCN
2002
IEEE
15 years 12 months ago
Instrumenting LogP Parameters in GM: Implementation and Validation
This paper describes an apparatus which can be used to vary communication performance parameters for MPI applications, and provides a tool to analyze the impact of communication p...
Edgar A. León, Arthur B. Maccabe, Ron Brigh...
ER
2007
Springer
125views Database» more  ER 2007»
16 years 1 months ago
On the Correlation between Process Model Metrics and Errors
Business process models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive ap...
Jan Mendling, Gustaf Neumann, Wil M. P. van der Aa...
245
Voted
ICDT
2009
ACM
121views Database» more  ICDT 2009»
15 years 4 months ago
Automatic verification of database-driven systems: a new frontier
We describe a novel approach to verification of software systems centered around an underlying database. Instead of applying general-purpose techniques with only partial guarantee...
Victor Vianu