10568 search results - page 726 / 2114 » Computer Intelligence and Formalization |
191
click to vote
APN
2005
Springer
16 years 25 days ago
2005
Springer
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
208
click to vote
ATAL
2005
Springer
16 years 25 days ago
2005
Springer
State estimation consists of updating an agent’s belief given executed actions and observed evidence to date. In single agent environments, the state estimation can be formalize...
175
click to vote
ATAL
2005
Springer
16 years 25 days ago
2005
Springer
There is a growing need for a theory of “local to global” in distributed multi-agent systems, one which is able systematically to describe and analyze a variety of problems. T...
177
click to vote
NORMAS
2005
Springer
16 years 23 days ago
2005
Springer
In order to regulate different circumstances over an extensive period of time, norms in institutions are stated in a vague and biguous manner, thereby abstracting from concrete as...
194
Voted
APN
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Behaviour specification in object-oriented design clearly benefits from the use of a formal, or semi-formal, visual specification language. This is attested by the ado...