946 search results - page 61 / 190 » Process Algebra and Non-Interference |
BPM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Compatibility of behavior, i.e. the correct ordering of messages, is one of the core aspects for the interaction between services as parts of an inter-organizational busi...
GLOBECOM
2009
IEEE
14 years 1 months ago
2009
IEEE
A challenging research issue of analyzing networks where packets are served probabilistically, such as multi-access networks and wireless networks, is to characterize the stochasti...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
We present a decomposition-based approach to managing probabilistic information. We introduce world-set decompositions (WSDs), a space-efficient and complete representation system ...
ICASSP
2009
IEEE
13 years 7 months ago
2009
IEEE
Nonnegative matrix tri-factorization (NMTF) is a 3-factor decomposition of a nonnegative data matrix, X USV , where factor matrices, U, S, and V , are restricted to be nonnegativ...
AMAST
2000
Springer
14 years 2 months ago
2000
Springer
Modelling multi-tasking behaviour is an important phase of real-time system design. It is shown how task scheduling principles can be captured in a CCS-based process algebra via ex...