384 search results - page 55 / 77 » On the Semantics of Markov Automata |
86
Voted
ACL
2009
14 years 11 months ago
2009
ProLiV - Animated Process-modeler of Complex (Computational) Linguistic Methods and Theories - is a fully modular, flexible, XML-based stand-alone Java application, used for compu...
128
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
117
click to vote
PLDI
2005
ACM
15 years 7 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
136
click to vote
RTA
2007
Springer
15 years 8 months ago
2007
Springer
This paper shows how to construct static analyzers using tree automata and rewriting techniques. Starting from a term rewriting system representing the operational semantics of the...
QSIC
2005
IEEE
15 years 7 months ago
2005
IEEE
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...