3809 search results - page 549 / 762 » Associative language descriptions |
172
click to vote
ACSD
2005
IEEE
16 years 24 days ago
2005
IEEE
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
229
click to vote
HYBRID
2005
Springer
16 years 20 days ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
196
click to vote
ICALP
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
170
click to vote
ICALP
2005
Springer
16 years 20 days ago
2005
Springer
We develop a new method for estimating the discrepancy of tensors associated with multiparty communication problems in the “Number on the Forehead” model of Chandra, Furst and...
187
click to vote
LPNMR
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. We associate optimality theory with abduction and preference handling. We present linguistic problems that appear in the study of dialects as new application of abduction...