4036 search results - page 141 / 808 » Formal Methods |
155
click to vote
CDC
2010
IEEE
15 years 3 days ago
2010
IEEE
Abstract-- We present a computational framework for identifying a set of initial states from which all trajectories of a piecewise affine (PWA) system satisfy a Linear Temporal Log...
151
click to vote
SAC
2005
ACM
15 years 10 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
130
click to vote
COLING
1996
15 years 6 months ago
1996
This paper presents a unified theory of verbal irony tbr developing a computational model of irony. The theory claims that an ironic utterance implicitly communicates the fact tha...
154
click to vote
ICFEM
2007
Springer
15 years 11 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
149
click to vote
ENTCS
2006
15 years 5 months ago
2006
Partial functions and operators are used extensively in the formal development of programs and thus development methods have to clarify how to reason about them. There are a numbe...