3919 search results - page 45 / 784 » Modelling Dynamic Forgetting in Distributed Information Syst... |
LATIN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We introduce distributed games over asynchronous transition systems to model a distributed controller synthesis problem. A game involves two teams and is not turn-based: ...
CAISE
2008
Springer
13 years 11 months ago
2008
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....
IDA
1999
Springer
14 years 1 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
TAP
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
IEPOL
2008
13 years 9 months ago
2008
We study the distribution dynamics of the demand for books in Italy. We find that for each of three broad sub-markets in which the book publishing industry can be classified - Ita...