5189 search results - page 418 / 1038 » Modeling architectural patterns using architectural primitiv... |
140
click to vote
IJCAI
1993
15 years 6 months ago
1993
agent-oriented system. We show the complexity to be linear time for one of these logics and polynomial time for another, thus providing encouraging results with respect to the prac...
164
click to vote
IS
2006
15 years 4 months ago
2006
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
143
click to vote
APSEC
2008
IEEE
15 years 11 months ago
2008
IEEE
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...
147
Voted
DAC
1999
ACM
15 years 9 months ago
1999
ACM
Dynamic power consumed in CMOS gates goes down quadratically with the supply voltage. By maintaining a high supply voltage for gates on the critical path and by using a low supply...
147
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
Since performance on FPGAs is dominated by the routing architecture rather than wirelength, we propose a new architecture-aware approach to initial FPGA placement that models the ...