1242 search results - page 175 / 249 » The Theory of Grammar Constraints |
103
Voted
ALP
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We introduce a compositional characterization of the operational semantics of equational Horn programs. Then we show that this semantics and the standard operational sema...
87
Voted
LICS
1992
IEEE
15 years 4 months ago
1992
IEEE
d Abstract) Frank S. de Boer, Jan Willem Klopyz , Catuscia Palamidessiyx We study the paradigm of asynchronous process communication, as contrasted with the synchronous communicat...
99
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
This paper studies a logical framework for automated negotiation between two agents. We suppose an agent who has a knowledge base represented by a logic program. Then, we introduc...
114
click to vote
BIRTHDAY
2007
Springer
15 years 4 months ago
2007
Springer
We present a verification methodology for cooperating traffic agents covering analysis of cooperation strategies, realization of strategies through control, and implementation of c...
91
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract-- In this paper, we are interested in using largedeviations theory to characterize the asymptotic decay-rate of the queue-overflow probability for distributed wireless sch...