1950 search results - page 293 / 390 » Lambda-Free Logical Frameworks |
172
click to vote
HIPEAC
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Power efficiency has become a key design trade-off in embedded system designs. For system-on-a-chip embedded systems, an external bus interconnects embedded processor co...
153
click to vote
ICN
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we propose an architecture to regulate the bandwidth usage of multimedia streams in networked virtual environments. In this architecture, intelligent proxies are pla...
147
click to vote
ITRUST
2005
Springer
15 years 12 months ago
2005
Springer
Business Processes for Web Services are the new paradigm for lightweight enterprise integration. They cross organizational boundaries, are provided by entities that see each other ...
173
click to vote
CIA
2004
Springer
15 years 12 months ago
2004
Springer
Given a specification of communication rules in a multiagent system (in the form of protocols, ACL semantics, etc.), the question of how to design appropriate agents that can oper...
151
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Knowledge-based programs (KBPs) are a powerful notion for expressing action policies in which branching conditions refer to implicit knowledge and call for a deliberation task at e...