Sciweavers

215 search results - page 24 / 43
» A Case Study on Artefact-Based RE Improvement in Practice
Sort
View
79
Voted
CNSR
2005
IEEE
15 years 6 months ago
Third-Party Flow Control
Flow control is critical to the efficient operation of Internet Service Providers network equipment. In particular, the ability to effectively shape traffic can reduce cost and ...
Dushyant Bansal, Paul A. S. Ward
91
Voted
WSC
2008
15 years 2 months ago
Economic efficiency analysis of wafer fabrication facilities
Semiconductor industry is capital intensive and competitive, and thus efficiently utilizing resources to provide products and services is essential for maintaining competitive adv...
Wen-Chih Chen, Chen-Fu Chien, Ming-Hsuan Chou
ATMOS
2007
129views Optimization» more  ATMOS 2007»
15 years 2 months ago
Solving a Real-World Train Unit Assignment Problem
We face a real-world train unit assignment problem for an operator running trains in a regional area. Given a set of timetabled train trips, each with a required number of passenge...
Valentina Cacchiani, Alberto Caprara, Paolo Toth
116
Voted
JCS
2010
80views more  JCS 2010»
14 years 7 months ago
Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
Sebastian Mödersheim, Luca Viganò, Dav...
94
Voted
MICCAI
2000
Springer
15 years 4 months ago
Intraoperative Segmentation and Nonrigid Registration for Image Guided Therapy
Our goal was to improve image guidance during minimally invasive image guided therapy by developing an intraoperative segmentation and nonrigid registration algorithm. The algorith...
Simon K. Warfield, Arya Nabavi, Torsten Butz, Kema...