1707 search results - page 255 / 342 » On the Design of Agent-Based Systems using UML and Extension... |
154
click to vote
DEXAW
2005
IEEE
15 years 12 months ago
2005
IEEE
A peer-to-peer complementary currency can be a powerful tool for promoting exchanges that make use of underutilized computing resources in a trusted way. i-WAT[11] is a proposed s...
194
click to vote
TACAS
2001
Springer
15 years 10 months ago
2001
Springer
Multi-valued logics support the explicit modeling of uncertainty and disagreement by allowing additional truth values in the logic. Such logics can be used for verification of dyn...
178
click to vote
ICCCN
1998
IEEE
15 years 10 months ago
1998
IEEE
Supporting mobility in Wireless ATM networks poses a number of technical issues. An important issue is the ability to reroute ongoing virtual connections during handoff as mobile ...
155
click to vote
CN
2007
15 years 6 months ago
2007
Intrusion detection is a key technology for self-healing systems designed to prevent or manage damage caused by security threats. Protecting web server-based applications using in...
157
click to vote
SAC
2005
ACM
15 years 11 months ago
2005
ACM
The tuple space model inspired by Linda has recently been rediscovered by distributed middleware. Moreover, some researchers also applied it in the challenging scenarios involving...