946 search results - page 147 / 190 » Process Algebra and Non-Interference |
87
Voted
ENTCS
2007
15 years 22 days ago
2007
Queueing network formalisms are very good at describing the spatial movement of customers, but typically poor at describing how customers change as they move through the network. ...
91
Voted
PR
2008
15 years 22 days ago
2008
We describe Nonnegative Double Singular Value Decomposition (NNDSVD), a new method designed to enhance the initialization stage of nonnegative matrix factorization (NMF). NNDSVD c...
104
click to vote
TCS
2008
15 years 20 days ago
2008
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...
90
Voted
CLEIEJ
2004
15 years 19 days ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
99
Voted
DEBU
2002
15 years 18 days ago
2002
An increasing number of business users and software applications need to process information that is accessible via multiple diverse information systems, such as database systems,...