Abstract. The need of the current Natural Language Processing applications to identify text segments that express the same meaning in different ways, evolved into the identificatio...
Abstract-- Genetic Parallel Programming (GPP) evolves parallel programs for MIMD architectures with multiple arithmetic/logic processors (MAPs). This paper describes a tool intende...
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...
Inference of the network structure (e.g., routing topology) and dynamics (e.g., traffic matrices, link performance) is an important component in many network design and management ...
The IEEE 802.11s working group is tasked to provide ways of establishing and securing a wireless mesh network. One proposal establishes a Mesh Security Architecture (MSA), with a ...
Doug Kuhlman, Ryan Moriarty, Tony Braskich, Steve ...