71 search results - page 12 / 15 » A Calculus for Team Automata |
ICTCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
LICS
2003
IEEE
14 years 22 days ago
2003
IEEE
We define the class of micro-macro stack graphs, a new class of graphs modeling infinite-state sequential systems with a decidable model-checking problem. Micro-macro stack grap...
COLING
1996
13 years 8 months ago
1996
This paper describes an algorithm for the compilation of a two (or more) level orthographic or phonological rule notation into finite state transducers. The notation is an alterna...
AAAI
2007
13 years 9 months ago
2007
A team of agents is jointly able to achieve a goal if despite any incomplete knowledge they may have about the world or each other, they still know enough to be able to get to a g...
SOSYM
2011
13 years 2 months ago
2011
In this document I present the work done under the supervision of Sebastian Uchitel between March and July 2008, in the research team of the Laboratorio de Fundamentos y Herramien...