551 search results - page 28 / 111 » Formalizing the Logic-Automaton Connection |
DEON
2004
Springer
14 years 1 months ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
CLEIEJ
2004
13 years 8 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...
ACL
2010
13 years 6 months ago
2010
Weighted tree transducers have been proposed as useful formal models for representing syntactic natural language processing applications, but there has been little description of ...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...
HPDC
2005
IEEE
14 years 2 months ago
2005
IEEE
Firewalls and network address translators (NATs) cause significant connectivity problems along with benefits such as network protection and easy address planning. Connectivity pro...