1622 search results - page 205 / 325 » Deriving Software Process Simulation Model from SPEM-based S... |
131
click to vote
BPM
2007
Springer
15 years 6 months ago
2007
Springer
To facilitate the implementation of workflows, enterprise and workflow system vendors typically provide sets of workflow templates for their software. Each of these templates depic...
130
click to vote
ICSE
1998
IEEE-ACM
15 years 6 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
TCAD
2010
14 years 9 months ago
2010
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...
144
click to vote
FOSSACS
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Domain theory began in an attempt to provide mathematical models for high-level programming languages, an area where it has proved to be particularly useful. It is perhap...
135
Voted
FASE
2008
Springer
15 years 4 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...