Sciweavers

2846 search results - page 292 / 570
» A Software Performance Engineering Tool based on the UML-SPT
Sort
View
IIWAS
2008
15 years 8 months ago
A model-prover for constrained dynamic conversations
In a service-oriented architecture, systems communicate by exchanging messages. In this work, we propose a formal model based on OCL-constrained UML Class diagrams and a methodolo...
Diletta Cacciagrano, Flavio Corradini, Rosario Cul...
SEKE
2010
Springer
15 years 5 months ago
Distributed and Adaptive Execution of Condor DAGMan Workflows
— Large-scale applications, in the form of workflows, may require the coordinated usage of resources spreading across multiple administrative domains. Scalable solutions need a d...
Selim Kalayci, Gargi Dasgupta, Liana Fong, Onyeka ...
SEKE
1993
Springer
15 years 10 months ago
Developing Knowledge-Based Systems with Active Expert Participation
Many reported difficulties with real-life applications of knowledge-based technology stem from the fact that the traditionally performed prototyping projects are hard to manage an...
Kristian Sandahl
GEOINFO
2003
15 years 8 months ago
Planning Brazilian Urban Traffic with a Geographic Application Software
Planning and optimizing urban traffic is a difficult problem, with considerable economic and social impacts. The development of suitable software tools to aid municipal governments...
Juliano Lopes de Oliveira, André Constantin...
ICIS
2001
15 years 8 months ago
Shared Mental Models and Coordination in Large-Scale, Distributed Software Development
Despite substantial improvements in the last few years in software engineering and collaboration tools, coordination in large-scale software development continues to be problemati...
J. Alberto Espinosa, Robert E. Kraut, F. Javier Le...