4726 search results - page 192 / 946 » Domain Modeling of Software Process Models |
108
Voted
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
151
Voted
SEW
2007
IEEE
15 years 8 months ago
2007
IEEE
- Over the past years, the Capability Maturity Model (CMM) and Capability Maturity Model Integration (CMMI) have been broadly used for assessing organizational maturity and process...
126
click to vote
JCP
2008
15 years 2 months ago
2008
In this paper, we propose a model named Logical Markov Decision Processes with Negation for Relational Reinforcement Learning for applying Reinforcement Learning algorithms on the ...
113
Voted
IJDST
2011
14 years 5 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
104
Voted
WWW
2006
ACM
16 years 3 months ago
2006
ACM
Strong user involvement and clear business objectives, both relying on efficient communication between the developers and the business, are key factors for a project's succes...