690 search results - page 78 / 138 » Testing Temporal Logic Properties in Distributed Systems |
157
Voted
NCI
2004
15 years 1 months ago
2004
Starting from a modular artificial neural system modelling the integration of several perceptive stimuli, this article proposes a new implementation of the central module performi...
77
Voted
ISCAS
2003
IEEE
15 years 5 months ago
2003
IEEE
In this paper, we study the effectiveness of the multilevel paradigm in considerably reducing the diagnosis latency of distributed algorithms for fault detection in networks with ...
DEXAW
2006
IEEE
15 years 6 months ago
2006
IEEE
Besides being adopted as the new general data representation format for the Internet, XML is finding increasing acceptance as a native data exchange language. In order to fully e...
104
Voted
AI
2004
Springer
15 years 13 days ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
106
Voted
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...