Sciweavers

2025 search results - page 203 / 405
» Minimal-Cut Model Composition
Sort
View
SOCO
2009
Springer
16 years 29 days ago
Specifying and Composing Non-functional Requirements in Model-Based Development
Abstract. Non-functional requirements encompass important design concerns such as schedulability, security, and communication constraints. In model-based development they non-local...
Ethan K. Jackson, Dirk Seifert, Markus Dahlweid, T...
IEEESCC
2008
IEEE
16 years 25 days ago
A Model for Digital Business Ecosystem and Topological Analysis
—This paper presents a novel approach to model a complex evolving system, a Digital Business Ecosystem (DBE) that takes the specific needs of Small and Medium-sized Enterprises ...
Juan Wang, Philippe De Wilde
CAISE
2004
Springer
15 years 11 months ago
Modelling Data-Intensive Web Sites with OntoWeaver
This paper illustrates the OntoWeaver modelling approach, which relies on a set of comprehensive site ontologies to model all aspects of dataintensive web sites and thus offers hig...
Yuangui Lei, Enrico Motta, John Domingue
FSEN
2009
Springer
15 years 11 months ago
A Coordination Model for Interactive Components
Although presented with a variety of ‘flavours’, the notion of an interactor, as an abstract characterisation of an interactive component, is well-known in the area of formal ...
Marco Antonio Barbosa, Luís Soares Barbosa,...
EDOC
2000
IEEE
15 years 10 months ago
Model Checking of Workflow Schemas
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
Christos T. Karamanolis, Dimitra Giannakopoulou, J...