941 search results - page 133 / 189 » Self-Evolving Petri Nets |
IAJIT
2010
14 years 8 months ago
2010
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
IJSI
2008
14 years 9 months ago
2008
Abstract Commercial organizations increasingly need software processes sensitive to business value, quick to apply, supportive of multi-stakeholder collaboration, and capable of ea...
EDOC
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract— In practice, the development of process-aware information systems suffers from a gap between conceptual business process models and executable workflow specifications...
APN
2004
Springer
15 years 3 months ago
2004
Springer
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
HASE
1999
IEEE
15 years 2 months ago
1999
IEEE
Even though a thorough system specification improves the quality of the design , it is not sufficient to guarantee that a system will satisfy its reliability targets. Within this ...