3239 search results - page 176 / 648 » A Logical Process Calculus |
153
click to vote
FOMI
2009
15 years 1 months ago
2009
The semantic integration of manufacturing systems has been impeded by the lack of rigorous ontologies for specific domains of manufacturing processes and resources. In this paper w...
123
click to vote
ECAI
2004
Springer
15 years 8 months ago
2004
Springer
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
128
Voted
WCRE
2008
IEEE
15 years 9 months ago
2008
IEEE
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...
131
Voted
CADE
2008
Springer
16 years 3 months ago
2008
Springer
Abstract. The LogAnswer system is an application of automated reasoning to the field of open domain question-answering, the retrieval of answers to natural language questions regar...
126
click to vote
CONCUR
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present an encoding for (bound) processes of the asynchronous CCS with replication into open Petri nets: ordinary Petri nets equipped with a distinguished set of open ...