Sciweavers

2963 search results - page 331 / 593
» On the Integration of Web Modeling Languages
Sort
View
ICSE
2008
IEEE-ACM
16 years 7 months ago
Tool support for the navigation in graphical models
Graphical models are omnipresent in the software engineering field, but most current graphical modeling languages do not scale with the increasing size and complexity of today...
Tobias Reinhard, Silvio Meier, Reinhard Stoiber, C...
SIGIR
2006
ACM
16 years 16 days ago
Regularized estimation of mixture models for robust pseudo-relevance feedback
Pseudo-relevance feedback has proven to be an effective strategy for improving retrieval accuracy in all retrieval models. However the performance of existing pseudo feedback meth...
Tao Tao, ChengXiang Zhai
WSC
2000
15 years 8 months ago
Teaching system modeling, simulation and validation
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
Jörg Desel
MASCOTS
2003
15 years 8 months ago
Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler
We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian...
Jeremy T. Bradley, Nicholas J. Dingle, Stephen T. ...
WOA
2007
15 years 7 months ago
Declarative representation of curricula models: an LTL- and UML-based approach
Abstract—In this work, we present a constrained-based representation for specifying the goals of “course design”, that we call curricula model, and introduce a graphical lang...
Matteo Baldoni, Cristina Baroglio, Giuseppe Berio,...