10682 search results - page 316 / 2137 » A Graph Based Process Representation for Process Modeling |
152
Voted
LPNMR
1997
Springer
15 years 6 months ago
1997
Springer
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
180
Voted
HICSS
2012
IEEE
13 years 10 months ago
2012
IEEE
The concept of interoperability of data and model as presented in this paper is viewed as being very useful for implementing variety of future applications related to power system...
117
click to vote
SPIN
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
169
Voted
CBMS
2002
IEEE
15 years 7 months ago
2002
IEEE
The need for systems that can stock, represent, and provide efficient retrieval facilities of images of particular interest is becoming very high in medicine. In this respect, a l...
121
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
We present an analytical method to evaluate embedded network packet processor architectures, and to explore their design space. Our approach is in contrast to those based on simul...