1875 search results - page 280 / 375 » A Calculus of Broadcasting Systems |
105
click to vote
LFP
1990
15 years 1 months ago
1990
PCF, as considered in this paper, is a lazy typed lambda calculus with functions, pairing, fixed-point operators and arbitrary algebraic data types. The natural equational axioms ...
122
Voted
JFP
2008
15 years 19 days ago
2008
This paper shows how type effect systems can be combined with model-checking techniques to produce powerful, automatically verifiable program logics for higher order programs. The...
146
Voted
JSAC
2007
15 years 16 days ago
2007
—In recent years, there has been significant interest in adopting the Peer-to-Peer (P2P) technology for Internet live video streaming. There are primarily two reasons behind thi...
106
Voted
IEEECIT
2010
IEEE
14 years 11 months ago
2010
IEEE
—As the need for embedded systems to interact with other systems is growing fast, we see great opportunities in introducing the hardware-in-the-loop technique to the field of ha...
IROS
2008
IEEE
15 years 7 months ago
2008
IEEE
— A hormone-inspired task scheduling method is described which assigns tasks to a group of robots, taking into account the robots’ performances. This method draws on previous w...