1875 search results - page 283 / 375 » A Calculus of Broadcasting Systems |
HASKELL
2008
ACM
13 years 11 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Information-driven networks include a large category of networking systems, where network nodes are aware of information delivered and thus can not only forward data packets but m...
SEMWEB
2005
Springer
14 years 4 months ago
2005
Springer
This paper presents SERSE – SEmantic Routing SystEm– a distributed multi-agent system composed of specialised agents that provides robust and efficient gathering and aggregati...
INTERSPEECH
2010
13 years 5 months ago
2010
This paper presents a method for rescoring the speech recognition lattices on-the-fly to increase the word accuracy while preserving low latency of a real-time speech recognition ...
FLOPS
2010
Springer
14 years 5 months ago
2010
Springer
MLF is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System F explicit first-class polymorphism. We present xMLF, a Church-style versi...