244 search results - page 26 / 49 » Towards Coalgebraic Behaviourism |
ICFP
2006
ACM
14 years 7 months ago
2006
ACM
Generic libraries, such as the C++ Standard Template Library (STL), provide flexible, high-performance algorithms and data types, along with functional specifications and performa...
ICIAP
2009
ACM
14 years 2 months ago
2009
ACM
Multi-modality is a fundamental feature that characterizes biological systems and lets them achieve high robustness in understanding skills while coping with uncertainty. Relativel...
KIVS
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. In peer-to-peer based live streaming systems, a great number of participants have to cooperate to efficiently and reliably distribute a continuous flow of data. Each rec...
ESCIENCE
2007
IEEE
14 years 1 months ago
2007
IEEE
The electronics design industry is facing major challenges as transistors continue to decrease in size. The next generation of devices will be so small that the position of indivi...
DALT
2007
Springer
14 years 1 months ago
2007
Springer
Agent-oriented programming languages have gone a long way in the level of sophistication offered to programmers, and there has also been much progress in tools to support multi-ag...