498 search results - page 47 / 100 » On the Category of Petri Net Computations |
DSS
2006
13 years 11 months ago
2006
Workflow research is commonly concerned with optimization, modeling, and dependency. In this research, we however address a more fundamental issue. By modeling humans and machines...
SOFSEM
2010
Springer
13 years 8 months ago
2010
Springer
We present a tutorial on verification of safety properties for parameterized systems. Such a system consists of an arbitrary number of processes; the aim is to prove correctness of...
SLIP
2009
ACM
14 years 5 months ago
2009
ACM
An accurate model for pre-placement wire length estimation can be a useful tool during the physical design of integrated circuits. In this paper, an a priori wire length estimatio...
COLING
2010
13 years 5 months ago
2010
The presentation will mainly cover (1) What is HowNet? HowNet is an on-line common-sense knowledgebase unveiling inter-conceptual relationships and interattribute relationships of...
JSI
1998
13 years 10 months ago
1998
Abstract. Category Theory is introduced as the mathematical model for object-oriented systems which are distributed, heterogeneous, real-time, embedded, and open-ended. Each object...