901 search results - page 132 / 181 » Secure Internet Applications Based on Mobile Agents |
184
click to vote
FMICS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
177
click to vote
WMASH
2003
ACM
15 years 11 months ago
2003
ACM
In recent years, wireless Internet service providers (WISPs) have established Wi-Fi hotspots in increasing numbers at public venues, providing local coverage to traveling users an...
164
click to vote
RULEML
2009
Springer
16 years 10 days ago
2009
Springer
We present the design and implementation of SPINdle – an open source Java based defeasible logic reasoner capable to perform efficient and scalable reasoning on defeasible logic...
173
click to vote
IJIT
2004
15 years 7 months ago
2004
Both software applications and their development environment are becoming more and more distributed. This trend impacts not only the way software computes, but also how it looks. T...
164
Voted
AAAI
2010
15 years 7 months ago
2010
Goal-directed path planning is one of the basic and widely studied problems in the field of mobile robotics. Homotopy classes of trajectories, arising due to the presence of obsta...