Sciweavers

1347 search results - page 186 / 270
» A Web-based requirements analysis tool
Sort
View
127
Voted
CORR
2007
Springer
176views Education» more  CORR 2007»
15 years 3 months ago
Crystallization in large wireless networks
—We analyze fading interference relay networks where M single-antenna source-destination terminal pairs communicate concurrently and in the same frequency band through a set of K...
Veniamin I. Morgenshtern, Helmut Bölcskei
160
Voted
CVPR
2006
IEEE
16 years 6 months ago
Wire Structure Pattern Extraction and Tracking From X-Ray Images of Composite Mechanisms
This paper introduces a complete pipeline of image processing methods in order to analyze and track the internal structures of a composite material. As a first step, input Xray im...
David Tschumperlé, Jalal Fadili
255
Voted
ICDE
2009
IEEE
129views Database» more  ICDE 2009»
16 years 5 months ago
Computing Distance Histograms Efficiently in Scientific Databases
Abstract-- Particle simulation has become an important research tool in many scientific and engineering fields. Data generated by such simulations impose great challenges to databa...
Yi-Cheng Tu, Shaoping Chen, Sagar Pandit
140
Voted
CADE
2004
Springer
16 years 4 months ago
Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures
Abstract. Automated tools for finding attacks on flawed security protocols often struggle to deal with protocols for group key agreement. Systems designed for fixed 2 or 3 party pr...
Graham Steel, Alan Bundy, Monika Maidl
SOCO
2009
Springer
15 years 10 months ago
A Framework for Testing Model Composition Engines
Model composition helps designers managing complexities by modeling different system views separately, and later compose them into an integrated model. In the past years, researche...
Freddy Munoz, Benoit Baudry