2282 search results - page 179 / 457 » Active property checking |
186
click to vote
ESOP
2012
Springer
14 years 11 days ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
137
click to vote
ER
2004
Springer
15 years 10 months ago
2004
Springer
Social and intentional behaviours appear as two main components of the agent paradigm. Methods of conventional software engineering do not seem to be appropriate to gain a full kno...
130
click to vote
IJCAI
1997
15 years 6 months ago
1997
Max and min operations have interesting properties that facilitate the exchange of information between the symbolic and real-valued domains. As such, neural networks that employ m...
148
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
126
click to vote
AI
2005
Springer
15 years 4 months ago
2005
Springer
We consider the problem of how an agent's knowledge can be updated. We propose a formal method of knowledge update on the basis of the semantics of modal logic S5. In our met...