415 search results - page 67 / 83 » New Results for the 2-Interval Pattern Problem |
DSN
2007
IEEE
13 years 12 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
AICT
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper describes and discusses challenges related to development of peer-to-peer games in J2ME using the available Bluetooth API (JSR82). By using Bluetooth on wireless device...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
Today's wireless sensor networks have limited flexibility because their software is static. Mobile agents alleviate this problem by introducing mobile code and state. Mobile ...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents w...
IASTEDSEA
2004
13 years 9 months ago
2004
Frameworks are increasingly employed as a useful way to enable object-oriented reuse. However, their size and complexity make understanding how to use them difficult. Previous wor...