13376 search results - page 2219 / 2676 » Problem Solving with |
179
Voted
SERP
2008
15 years 8 months ago
2008
Web-based application development is a difficult task, since these applications include various features, like graphical interfaces, navigational structures, business models, and ...
195
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
205
click to vote
IAAI
2001
15 years 8 months ago
2001
: CARMA is an advisory system for rangeland grasshopper infestations that demonstrates how AI technology can deliver expert advice to compensate for cutbacks in public services. CA...
230
click to vote
ISCAPDCS
2003
15 years 8 months ago
2003
The quick construction of the Shortest Path Tree (SPT) is essential to achieve fast routing speed for an interior network using link state protocols, such as OSPF and IS-IS. Whene...
205
click to vote
MMNS
2003
15 years 8 months ago
2003
A growing interest in third generation wireless IP network and service technologies, push up the demand on IPv6 transition. Most of these services require mobility, multicast and m...