Sciweavers

1329 search results - page 163 / 266
» The Many Dimensions of the Software Process
Sort
View
CLIMA
2011
12 years 7 months ago
Verifying Team Formation Protocols with Probabilistic Model Checking
Multi-agent systems are an increasingly important software paradigm and in many of its applications agents cooperate to achieve a particular goal. This requires the design of effi...
Taolue Chen, Marta Z. Kwiatkowska, David Parker, A...
UML
2005
Springer
14 years 1 months ago
Exceptional Use Cases
Many exceptional situations arise during the execution of an application. When developing dependable software, the first step is to foresee these exceptional situations and docume...
Aaron Shui, Sadaf Mustafiz, Jörg Kienzle, Chr...
DAGSTUHL
2006
13 years 9 months ago
DecSerFlow: Towards a Truly Declarative Service Flow Language
The need for process support in the context of web services has triggered the development of many languages, systems, and standards. Industry has been developing software solutions...
Wil M. P. van der Aalst, Maja Pesic
VLUDS
2010
212views Visualization» more  VLUDS 2010»
13 years 2 months ago
Open Problems in Computational Steering of Massive Parallel Unstructured Grid Based CFD Simulations
Traditionally, analysis of flow fields resulting from computational fluid dynamics (CFD) calculations is a sequential process. The flow area defined by surrounding geometry is tes...
Christian Wagner
KDD
2012
ACM
243views Data Mining» more  KDD 2012»
11 years 10 months ago
Storytelling in entity networks to support intelligence analysts
Intelligence analysts grapple with many challenges, chief among them is the need for software support in storytelling, i.e., automatically ‘connecting the dots’ between dispar...
M. Shahriar Hossain, Patrick Butler, Arnold P. Boe...