1788 search results - page 159 / 358 » Model Theory for Process Algebra |
132
Voted
FM
2008
Springer
15 years 5 months ago
2008
Springer
TLM (Transaction-Level Modeling) was introduced to cope with the increasing complexity of Systems-on-Chip designs by raising the modeling level. Currently, TLM is primarily used fo...
130
click to vote
FORTE
2004
15 years 5 months ago
2004
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
140
Voted
ICIP
2001
IEEE
16 years 5 months ago
2001
IEEE
In this paper we use concepts from the lattice-based theory of morphological operators and fuzzy sets to develop generalized lattice image operators that can be expressed as nonli...
138
Voted
IPPS
2006
IEEE
15 years 9 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...
107
click to vote
CONCUR
2001
Springer
15 years 8 months ago
2001
Springer
It has long been recognised that standard process algebra has difficulty dealing with actions of different priority, such as for instance an interrupt action of high priority. Va...