1346 search results - page 173 / 270 » Alternating-time dynamic logic |
176
Voted
IJIPT
2006
15 years 5 months ago
2006
Service-oriented development offers a novel architectural approach that addresses crucial characteristics of modern business process development such as dynamic evolution, intra- ...
168
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
150
Voted
CEEMAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. In update logic the interpretation of an action is often assumed to be independent from the agents’ beliefs about the situation (see [BMS04] or [Auc05]). In this paper ...
184
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, partial knowledge about the possible transitions which can take place in a dynamical environment is represented by a set of pairs of propositional formulae, with th...
187
click to vote
EON
2008
15 years 7 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...