2968 search results - page 477 / 594 » Network Programming Using PLAN |
151
click to vote
MOZ
2004
Springer
15 years 10 months ago
2004
Springer
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of an...
183
click to vote
NDSS
2003
IEEE
15 years 10 months ago
2003
IEEE
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
133
click to vote
UM
2010
Springer
15 years 9 months ago
2010
Springer
In this paper, we focus on the challenge that users face in processing messages on the web posted in participatory media settings, such as blogs. It is desirable to recommend to us...
117
click to vote
IANDC
2008
15 years 4 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
141
click to vote
FUIN
2006
15 years 4 months ago
2006
In a previous paper, we developed an algebraic theory about threads and multi-threading based on the assumption that a deterministic interleaving strategy determines how threads ar...