1398 search results - page 124 / 280 » Ensuring Properties of Interaction Systems |
144
click to vote
INFOCOM
2003
IEEE
15 years 10 months ago
2003
IEEE
— Measurement-based optimization is one important strategy to improve the performance of bandwidth-demanding peer-to-peer systems. However, to date, we have little quantitative k...
264
click to vote
ICFP
2009
ACM
16 years 5 months ago
2009
ACM
Functional Reactive Programming (FRP) is an approach to reactive programming where systems are structured as networks of functions operating on signals. FRP is based on the synchr...
118
click to vote
ARGMAS
2004
Springer
15 years 10 months ago
2004
Springer
This paper investigates the properties of argumentation-based dialogues between agents. It takes a previously defined system by which agents can trade arguments, and examines how ...
137
click to vote
APAL
2008
15 years 4 months ago
2008
Most type systems are agnostic regarding the evaluation strategy for the underlying languages, with the value restriction for ML which is absent in Haskell as a notable exception....
145
click to vote
BIBE
2008
IEEE
15 years 11 months ago
2008
IEEE
: If we consider the regulatory networks used in systems biology (especially in neural and genetic networks), we observe certain regularities in their architecture, namely the occu...