558 search results - page 41 / 112 » Composing architectural styles from architectural primitives |
114
click to vote
DAC
2002
ACM
16 years 2 months ago
2002
ACM
This paper presents novel uses of functional interface specifications for verifying RTL designs. We demonstrate how a simulation environment, a correctness checker, and a function...
121
click to vote
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
Middleware provides simplicity and uniformity for the development of distributed applications. However, the modularity of the architecture of middleware is starting to disintegrat...
134
click to vote
CACM
2005
15 years 1 months ago
2005
This paper presents a set of architectures for the composition of ubiquitous computing applications. It describes research that is being carried out in "extrovert-Gadgets&quo...
155
click to vote
ICWS
2004
IEEE
15 years 2 months ago
2004
IEEE
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
106
click to vote
AIIA
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. In order to have a robotic system able to effectively learn by imitation, and not merely reproduce the movements of a human teacher, the system should have the capabiliti...