6527 search results - page 276 / 1306 » On Typing Information Flow |
155
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
BioAmbients is a derivative of mobile ambients that has shown promise of describing interesting features of the behaviour of biological systems. The technical contribution of this...
220
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
Debugging concurrent Java programs is a difficult task because of multiple control flows and inherent nondeterminism. It requires techniques not provided by traditional debuggers ...
200
click to vote
OSDI
2000
ACM
15 years 8 months ago
2000
ACM
This paper describes the implementation and evaluation of an operating system module, the Congestion Manager (CM), which provides integrated network flow management and exports a ...
189
click to vote
BILDMED
2009
15 years 7 months ago
2009
We present an approach based on self organizing maps to segment renal arteries from 2D PC Cine MR images to measure blood velocity and flow. Such information are important in gradi...
169
click to vote
SIAMAM
2008
15 years 6 months ago
2008
This paper proposes a macroscopic fluid dynamic model dealing with the flows of information on a telecommunication network with sources and destinations. The model consists of a co...