5101 search results - page 308 / 1021 » Analyzing medical processes |
193
click to vote
SDL
2003
15 years 8 months ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
179
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
Frequent changes to groups of software entities from different parts of the system may indicate structural issues in the system's decomposition. Analyzing such groups is neede...
181
click to vote
ECTEL
2008
Springer
15 years 8 months ago
2008
Springer
: This paper analyzes how different visualisations of interaction information can be used to indicate user activity and support informal learning. The question for research is how ...
136
click to vote
ECIS
2001
15 years 8 months ago
2001
This paper examines the key issues in software product and interface localization, including the cost and the specific aspects of software that must be localized, and a methodolog...
167
click to vote
WCE
2007
15 years 8 months ago
2007
Staff attrition is a problem often faced by software development organizations. We used process modeling and simulation to estimate the effect of different staffing policies on th...