899 search results - page 116 / 180 » A Temporal Language for SystemC |
106
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
An approach to handle the complex dynamics of a multi-agent system is based on distinguishing aggregation levels by structuring the system into parts or components. The behavior of...
SIGMOD
1987
ACM
15 years 5 months ago
1987
ACM
In this paper we discuss extensions to the conventional relatronal algebra to support transaction time We show that these extensions are applicable to hrstorlcal algebras that sup...
114
click to vote
CLIMA
2010
15 years 3 months ago
2010
We present an algorithm for finding uniform strategies in multi-agent systems with incomplete information. The algorithm finds all maximal uniform strategies for agents with incomp...
109
click to vote
AIPS
2009
15 years 2 months ago
2009
The ability to automatically compose Web Services is critical for realising more complex functionalities. Several proposals to use automated planning to deal with the problem of s...
124
click to vote
ENTCS
2006
15 years 1 months ago
2006
Formal notations for system performance modeling need to be equipped with suitable notations for specifying performance measures. These companion notations have been traditionally...