490 search results - page 40 / 98 » Formal Action Semantics for a UML Action Language |
124
click to vote
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Hermes is an ontology-based framework for building news personalization services. This framework consists of a news classification phase, which classifies the news, a knowledge ...
110
click to vote
ESOP
2008
Springer
15 years 3 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
147
click to vote
CONCUR
2003
Springer
15 years 6 months ago
2003
Springer
We present a process-algebraic language for Probabilistic I/O Automata (PIOA). To ensure that PIOA specifications given in our language satisfy the “input-enabled” property, w...
130
click to vote
SP
2008
IEEE
15 years 1 months ago
2008
IEEE
This paper presents FABLE, a core formalism for a programming language in which programmers may specify security policies and reason that these policies are properly enforced. In ...
119
click to vote
AAAI
1996
15 years 2 months ago
1996
The representation of narratives of actions and observations is a current issue in Knowledge Representation, where traditional plan-oriented treatments of action seem to fall shor...