488 search results - page 26 / 98 » On the Formal Generation of Process Redesigns |
102
click to vote
APSEC
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...
110
click to vote
TASE
2009
IEEE
15 years 6 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
UML
2004
Springer
15 years 5 months ago
2004
Springer
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...
133
click to vote
WIA
2000
Springer
15 years 3 months ago
2000
Springer
This paper is a review of some of the major applications of finite-state transducers in Natural Language Processing ranging from morphological analysis to finite-state parsing. The...
COORDINATION
2005
Springer
15 years 5 months ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...