4212 search results - page 729 / 843 » Rights Expression Languages |
153
Voted
OOPSLA
2009
Springer
16 years 20 days ago
2009
Springer
Side effects are both the essence and bane of imperative programming. The programmer must carefully coordinate actions to manage their side effects upon each other. Such coordinat...
138
click to vote
ROBOCUP
2009
Springer
16 years 20 days ago
2009
Springer
The high-level decision making process of an autonomous robot can be seen as an hierarchically organised entity, where strategical decisions are made on the topmost layer, while th...
202
click to vote
RR
2009
Springer
16 years 20 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 ...
164
click to vote
RTA
2009
Springer
16 years 20 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...
173
click to vote
DSD
2008
IEEE
16 years 18 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...