1054 search results - page 31 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
110
click to vote
INFSOF
2006
15 years 3 months ago
2006
: Mass customization has become one of the key strategies for a service provider to differentiate itself from its competitors in a highly segmented global service market. This pape...
133
click to vote
NLDB
2000
Springer
15 years 7 months ago
2000
Springer
To ease the retrieval of documents published on the Web, the documents should be classified in a way that users find helpful and meaningful. This paper presents an approach to sema...
136
click to vote
FSEN
2009
Springer
15 years 8 months ago
2009
Springer
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 ...
138
click to vote
PDSE
1998
15 years 5 months ago
1998
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
129
click to vote
ASWEC
2005
IEEE
15 years 9 months ago
2005
IEEE
The success of UML and more generally, of the model driven approach, has led to a proliferation of models, representing various systems, but the description of large applications ...