3763 search results - page 195 / 753 » Component-Based Software Engineering Processes |
165
click to vote
ISPW
2005
IEEE
16 years 1 days ago
2005
IEEE
Medical errors are now recognized as a major cause of untimely deaths or other adverse medical outcomes. To reduce the number of medical errors, the Medical Safety Project at the U...
163
Voted
FSTTCS
2006
Springer
15 years 10 months ago
2006
Springer
We establish a decidability boundary of the model checking problem for infinite-state systems defined by Process Rewrite Systems (PRS) or weakly extended Process Rewrite Systems (w...
200
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
152
click to vote
IWPC
1996
IEEE
15 years 10 months ago
1996
IEEE
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. In distributed debugging, for example, proce...
158
click to vote
ASWEC
2010
IEEE
15 years 6 months ago
2010
IEEE
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...