Search Sciweavers | Sciweavers

9006 search results - page 53 / 1802

» Modeling Software

click to vote

ICSE
2009
IEEE-ACM

99views Software Engineering» more ICSE 2009»

A sense of community: A research agenda for software ecosystems

14 years 5 months ago

Download www.cs.uoregon.edu

Software vendors lack the perspective to develop software within a software ecosystem. The inability to function in a software ecosystem has already led to the demise of many soft...

Slinger Jansen, Anthony Finkelstein, Sjaak Brinkke...

claim paper

Read More »

click to vote

IJHPCA
2010

113views more IJHPCA 2010»

Accurate Heterogeneous Communication Models and a Software Tool for Their Efficient Estimation

13 years 8 months ago

Download hcl.ucd.ie

In this paper, we analyze restrictions of traditional communication performance models affecting the accuracy of analytical prediction of the execution time of collective communic...

Alexey L. Lastovetsky, Vladimir Rychkov, Maureen O...

claim paper

Read More »

click to vote

JITECH
2010

160views more JITECH 2010»

Social software for business process modeling

13 years 5 months ago

Download is.tm.tue.nl

Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborati...

Agnes Koschmider, Minseok Song, Hajo A. Reijers

claim paper

Read More »

click to vote

TSE
2002

125views more TSE 2002»

An Automated Verification Method for Distributed Systems Software Based on Model Extraction

13 years 9 months ago

Download spinroot.com

Gerard J. Holzmann, Margaret H. Smith

claim paper

Read More »