15614 search results - page 406 / 3123 » The State of State |
207
click to vote
AWPN
2008
15 years 8 months ago
2008
We calculate a fixed finite set of state space fragments for a service P, where each fragment carries a part of the whole behavior of P. By composing these fragments according to t...
165
click to vote
EUSFLAT
2003
15 years 8 months ago
2003
The aim of this paper is to present the Temporal Fuzzy Chains (TFCs) [3] to model the dynamic systems in a linguistic manner. TFCs make use of two different concepts: the traditio...
160
click to vote
EACL
2003
ACL Anthology
15 years 8 months ago
2003
ACL Anthology
This paper explores the possibility of using the paradigm of Dynamic Logic (DL) to formalise information states and update processes on information states. In particular, we prese...
175
click to vote
CONCUR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
172
Voted
ACOM
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Message semantics are traditionally defined in terms of mental states, which is a trend that is criticized for assuming the sincerity and cooperativeness of agents. To c...