453 search results - page 53 / 91 » Fault-Tolerant Techniques for Ambient Intelligent Distribute... |
170
click to vote
DL
1999
Springer
15 years 10 months ago
1999
Springer
Digital Libraries have gained tremendous interest with numerous research projects addressing the wealth of challenges in this field. While computational intelligence systems are ...
154
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
This paper discusses semantic interoperability issues in agentbased E-commerce systems. The literature reports various techniques to enable agents to understand the meanings of th...
177
click to vote
APN
2008
Springer
15 years 8 months ago
2008
Springer
Model checking is a powerful and widespread technique for the verification of finite distributed systems. However, the main hindrance for wider application of this technique is the...
167
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Distributed processing across a networked environment suffers from unpredictable behavior of speedup due to heterogeneous nature of the hardware and software in the remote machine...
146
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...