4617 search results - page 682 / 924 » Automation of Diagrammatic Reasoning |
252
click to vote
WIRTSCHAFTSINFORMATI
2007
15 years 8 months ago
2007
A core challenge in Business Process Management is the continuous, bi-directional translation between (1) a business requirements view on the process space of an enterprise and (2...
224
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Business Process Management (BPM) aims at supporting the whole life-cycle necessary to deploy and maintain business processes in organisations. An important step of the BPM life-cy...
207
click to vote
GECCO
2008
Springer
15 years 8 months ago
2008
Springer
The process of creating e-learning contents using reusable learning objects (LOs) can be broken down in two sub-processes: LOs finding and LO sequencing. Sequencing is usually per...
204
click to vote
TSE
2008
15 years 7 months ago
2008
Timed Automata have proven to be useful for specification and verification of real-time systems. System design using Timed Automata relies on explicit manipulation of clock variabl...
217
click to vote
MICS
2008
15 years 6 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...