930 search results - page 103 / 186 » Integrating dialog modelling and application development |
ISVC
2005
Springer
14 years 1 months ago
2005
Springer
This note describes a web-based tool for storm analysis using multiple data sets developed for use in research of thunderstorms and forecasting applications. The tool was developed...
CCGRID
2010
IEEE
13 years 8 months ago
2010
IEEE
The MPI programming model hides network type and topology from developers, but also allows them to seamlessly distribute a computational job across multiple cores in both an intra ...
CAV
2001
Springer
14 years 7 days ago
2001
Springer
Model Checking is an algorithmic technique to determine whether a temporal property holds of a program. For linear time properties, a model checker produces a counterexample comput...
DEXAW
2009
IEEE
13 years 11 months ago
2009
IEEE
Various retrieval models have been developed and analyzed so far, but less research aims to an integration of the different models within a common framework. This paper introduces ...
ECOOP
2009
Springer
14 years 8 months ago
2009
Springer
Model-based development promises to increase productivity by offering modeling languages tailored to a specific domain. Such modeling languages are typically defined by a metamodel...