1529 search results - page 137 / 306 » Energy-Based Models of P Systems |
128
click to vote
IANDC
2006
15 years 4 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
155
click to vote
SMILE
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. We present some recent progress in designing and implementing two interactive image-based 3D modeling systems. The first system constructs 3D models from a collection of ...
125
click to vote
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
117
click to vote
JSA
2008
15 years 3 months ago
2008
The instability of the tree-like multicast overlay caused by nodes' abrupt departures is considered as one of the major problems for peer-to-peer (P2P) multicast systems. In ...
143
click to vote
TISSEC
2010
15 years 2 months ago
2010
Privacy has been acknowledged to be a critical requirement for many business (and non-business) environments. Therefore, the definition of an expressive and easy-to-use privacyre...