3994 search results - page 649 / 799 » A Linear Logical Framework |
166
Voted
BIRTHDAY
2005
Springer
16 years 15 days ago
2005
Springer
This paper proposes a Compiled Labelled Deductive System, called ACCLDS, for reasoning about role-based access control in distributed systems, which builds upon Massacci’s tablea...
190
click to vote
ESWS
2005
Springer
16 years 14 days ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
191
Voted
HIPEAC
2005
Springer
16 years 14 days 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...
168
Voted
ICN
2005
Springer
16 years 14 days 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...
159
click to vote
ITRUST
2005
Springer
16 years 13 days 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 ...