1349 search results - page 5 / 270 » Towards a theory of events |
ENTCS
2006
13 years 7 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
BIRTHDAY
2006
Springer
13 years 11 months ago
2006
Springer
Following M. Krachounov ([5]), max and min operations with fuzzy sets are considered instead of Lukasiewicz ones ([6], [7], [8], [9]). Her the domain F of a probability m : F [0, ...
CONCUR
1995
Springer
13 years 11 months ago
1995
Springer
AIIA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Game generation systems perform automated, intelligent design of games (i.e. videogames, boardgames), reasoning about both the rule system of the game and the visual real...
24
Voted
ICPW
2007
13 years 9 months ago
2007
The Rule Responder project (responder.ruleml.org) extends the Semantic Web towards a Pragmatic Web infrastructure for collaborative human-computer networks. These allow semi-autom...