2171 search results - page 54 / 435 » A Generic Process Algebra |
113
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
— Many interesting problems in graph theory can be reduced to solving an eigenproblem of the adjacency matrix or Laplacian of a graph. Given the availability of high-quality line...
57
Voted
ICIP
2004
IEEE
16 years 2 months ago
2004
IEEE
59
Voted
ICIP
2003
IEEE
16 years 2 months ago
2003
IEEE
105
Voted
CSL
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We investigate the possibility of (bi)simulation-like preorder/equivalence checking on the class of visibly pushdown automata and its natural subclasses visibly BPA (Basi...
92
Voted
ICWS
2008
IEEE
15 years 2 months ago
2008
IEEE
Recently, a new generation of adaptive Process-Aware Information Systems (PAIS) has emerged, which allows for dynamic process and service changes (e.g., to insert, delete, and mov...