1027 search results - page 141 / 206 » Representing and Reasoning with Operational Semantics |
EMSOFT
2004
Springer
15 years 6 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
155
click to vote
ITRUST
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Past evidence has shown that generic approaches to recommender systems based upon collaborative filtering tend to poorly scale. Moreover, their fitness for scenarios su...
118
Voted
CONCUR
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. A concurrent Kleene algebra offers, next to choice and iteration, operators for sequential and concurrent composition, related by an inequational form of the exchange la...
85
Voted
AUSAI
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. The Belief, Desire, Intention (BDI) architecture is increasingly being used in a wide range of complex applications for agents. Many theories and models exist which suppo...
131
Voted
WETICE
1999
IEEE
15 years 4 months ago
1999
IEEE
In this paper, we address the problem of static slicing on binary executables for the purposes of the malicious code detection in COTS components. By operating directly on binary ...