Sciweavers

1320 search results - page 167 / 264
» The Emergent Structure of Development Tasks
Sort
View
CICLING
2007
Springer
15 years 10 months ago
The Usefulness of Conceptual Representation for the Identification of Semantic Variability Expressions
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...
Zornitsa Kozareva, Sonia Vázquez, Andr&eacu...
DDECS
2006
IEEE
140views Hardware» more  DDECS 2006»
15 years 10 months ago
A Core Generator for Multi-ALU Processors Utilized in Genetic Parallel Programming
Abstract-- Genetic Parallel Programming (GPP) evolves parallel programs for MIMD architectures with multiple arithmetic/logic processors (MAPs). This paper describes a tool intende...
Zbysek Gajda
ASM
2008
ASM
15 years 8 months ago
A Concept-Driven Construction of the Mondex Protocol Using Three Refinements
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...
Gerhard Schellhorn, Richard Banach
CISS
2008
IEEE
15 years 8 months ago
Network tomography based on additive metrics
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 ...
Jian Ni, Sekhar Tatikonda
CSFW
2008
IEEE
15 years 8 months ago
A Correctness Proof of a Mesh Security Architecture
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 ...