44 search results - page 6 / 9 » A new structure for sound reproduction system |
VLDB
1995
ACM
13 years 10 months ago
1995
ACM
The World-Wide Web (WWW) is an ever growing, distributed, non-administered, global information resource. It resides on the worldwide computer network and allows access to heteroge...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
TLCA
2009
Springer
14 years 1 months ago
2009
Springer
In this paper we solve an open problem posed in our previous work on asynchronous subtyping [12], extending the method to higher-order session communication and functions. Our syst...
ICTAI
2009
IEEE
14 years 1 months ago
2009
IEEE
Knowledge constantly grows in scientific discourse and is revised over time by domain experts. The body of knowledge will get structured and refined as the Communities of Practice...
ENTCS
2008
13 years 6 months ago
2008
Object orientation and component-based development have both proven useful for the elaboration of open distributed systems. These paradigms are offered by the Creol language. Creo...