851 search results - page 62 / 171 » Synthesis of Distributed Systems from Knowledge-Based Specif... |
142
click to vote
DLOG
2006
15 years 4 months ago
2006
Abstract. Modern description logic (DL) reasoners are known to be less efficient for DLs with inverse roles. The current loss of performance is largely due to the missing applicabi...
112
Voted
FC
1998
Springer
15 years 7 months ago
1998
Springer
From von Solms and Naccache's standpoint, constructing a practical and secure e-money system implies a proper regulation of its privacy level. Furthermore, when the system ben...
131
click to vote
ATAL
2003
Springer
15 years 7 months ago
2003
Springer
Debugging multi-agent systems, which are concurrent, distributed, and consist of complex components, is difficult, yet crucial. In earlier work we have proposed mechanisms whereby...
160
click to vote
DEBS
2008
ACM
15 years 5 months ago
2008
ACM
Complex Event Processing is an important technology for information systems with a broad application space ranging from supply chain management, systems monitoring, and stock mark...
120
Voted
ACMACE
2006
ACM
15 years 9 months ago
2006
ACM
Virtual beings are playing a remarkable role in today’s public entertainment, while ordinary users are still treated as audiences due to the lack of appropriate expertise, equip...