4008 search results - page 686 / 802 » An expressive language of signatures |
203
click to vote
RR
2009
Springer
16 years 27 days ago
2009
Springer
Abstract. A four-valued description logic has been proposed to reason with description logic based inconsistent knowledge bases. This approach has a distinct advantage that it can ...
169
click to vote
RTA
2009
Springer
16 years 27 days ago
2009
Springer
Reasoning about the knowledge of an attacker is a necessary step in many formal analyses of security protocols. In the framework of the applied pi calculus, as in similar languages...
176
click to vote
DSD
2008
IEEE
16 years 25 days ago
2008
IEEE
Effective mapping of multimedia applications on massively parallel embedded systems is a challenging demand in the domain of compiler design. The software implementations of emerg...
171
click to vote
HPDC
2008
IEEE
16 years 24 days ago
2008
IEEE
Active storage clouds are an attractive platform for executing large data intensive workloads found in many fields of science. However, active storage presents new system managem...
232
click to vote
ICAS
2008
IEEE
16 years 24 days ago
2008
IEEE
A Multi-target user interface is composed of a series of interconnected variations of the same user interfaces, but tailored for different targets or different contexts of use. Wh...