219 search results - page 30 / 44 » Forwarder Selection in Multi-transmitter Networks |
81
Voted
COORDINATION
2006
Springer
15 years 2 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
ACSAC
2001
IEEE
15 years 2 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...
FORTE
1998
14 years 11 months ago
1998
Abstract: We present a new algorithm for automatic test generation for multicast routing. Our algorithm processes a nite state machine (FSM) model of the protocol and uses a mix of...
83
Voted
WCE
2007
14 years 11 months ago
2007
— This work is to apply wavelet packet transformation for the recognition of isolated handwritten Malayalam (one of the south Indian languages) characters. The key idea is that c...
IJISTA
2007
14 years 10 months ago
2007
: This paper introduces a system for real-time incremental learning in a call-centre environment. The classifier used is a Support Vector Machine (SVM) and it is applied to telepho...