206 search results - page 24 / 42 » Probabilistic Analysis of Large Finite State Machines |
114
click to vote
AICT
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
GECCO
2006
Springer
15 years 3 months ago
2006
Springer
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
ICSE
2003
IEEE-ACM
15 years 11 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
DCC
2004
IEEE
15 years 11 months ago
2004
IEEE
A d-feedback-with-carry shift register (d-FCSR) is a finite state machine, similar to a linear feedback shift register, in which a small amount of memory and a delay (by d-clock c...
AGENTCL
2000
Springer
15 years 4 months ago
2000
Springer
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...