2328 search results - page 131 / 466 » Component Frameworks - A Case Study |
143
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
126
click to vote
CORR
2006
Springer
15 years 4 months ago
2006
Springer
-- Mobile agents research is clearly aiming towards imposing agent based development as the next generation of tools for writing software. This paper comes with its own contributio...
137
click to vote
JDCTA
2010
14 years 11 months ago
2010
Context-awareness has been considered as promising topic in pervasive computing area, but a review of the existing approaches shown that developing diverse application services in...
117
click to vote
ATAL
2005
Springer
15 years 10 months ago
2005
Springer
This paper aims at proposing a general formal framework for dialogue between autonomous agents which are looking for a common agreement about a collective choice. The proposed set...
152
click to vote
JSAC
2008
15 years 4 months ago
2008
Abstract--We consider the design of multiple-input multipleoutput communication systems with a linear precoder at the transmitter, zero-forcing decision feedback equalization (ZFDF...