20833 search results - page 333 / 4167 » Hidden process models |
147
click to vote
CSL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. One-counter processes are pushdown processes over a singleton stack alphabet (plus a stack-bottom symbol). We study the problems of model checking asynchronous products o...
226
click to vote
ICEBE
2007
IEEE
15 years 11 months ago
2007
IEEE
With the evolution of Grid technologies and the application of Service-Oriented Architecture (SOA), more and more enterprises are integrated and collaborated with each other in a ...
152
Voted
ECAI
2004
Springer
15 years 10 months ago
2004
Springer
The combination Computer Based Training systems with Artificial Intelligence and Cognitive Science has led to the development of Intelligent Tutoring Systems nearly 30 years ago. ...
124
click to vote
APCCM
2006
15 years 6 months ago
2006
Current enterprise systems rely heavily on the modelling and enactment of business processes. One of the key criteria for a business process is to represent not just the behaviour...
113
click to vote
ISPW
2005
IEEE
15 years 10 months ago
2005
IEEE
: We have developed a “WBS(Work Breakdown Structure) process model” for a business application software development project. We have also developed a project management system ...