2027 search results - page 126 / 406 » Process Support for Tools Interoperability |
112
click to vote
HT
2009
ACM
15 years 4 months ago
2009
ACM
The digital world enables the creation of personalized documents. In this paper we are interested in describing a computer mediated activity by a person throughout a semi-automati...
INFSOF
2008
14 years 10 months ago
2008
Improving project management, product development and engineering processes is for many companies crucial to survive in a fast changing environment. However, these activities are ...
VIZSEC
2005
Springer
15 years 3 months ago
2005
Springer
Anomalous communication patterns are one of the leading indicators of computer system intrusions according to the system administrators we have interviewed. But a major problem is...
IEEECIT
2006
IEEE
15 years 4 months ago
2006
IEEE
Currently Configuration Management (CM) tool and Process Management (PM) tool are both largely applied in software organizations. However, neither of them can effectively support ...
FMICS
2008
Springer
14 years 11 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...