Sciweavers

2748 search results - page 237 / 550
» Generating Object-Z Specifications from Use Cases
Sort
View
WSC
1998
15 years 2 months ago
Application of Real-Time Simulation to Assign Due Dates on Logistic-manufacturing Networks
This paper presents the application of real-time simulation to assign due dates on logistic-manufacturing networks. Information from the manufacturing, transportation, and supplie...
Alex J. Ruiz-Torres, Kazuo Nakatani
97
Voted
ASPDAC
2009
ACM
164views Hardware» more  ASPDAC 2009»
15 years 7 months ago
Accounting for non-linear dependence using function driven component analysis
Majority of practical multivariate statistical analyses and optimizations model interdependence among random variables in terms of the linear correlation among them. Though linear...
Lerong Cheng, Puneet Gupta, Lei He
126
Voted
ASE
2005
102views more  ASE 2005»
15 years 28 days ago
Modular Verification of Open Features Using Three-Valued Model Checking
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
Harry C. Li, Shriram Krishnamurthi, Kathi Fisler
111
Voted
TSE
2008
89views more  TSE 2008»
15 years 28 days ago
WASP: Protecting Web Applications Using Positive Tainting and Syntax-Aware Evaluation
Many software systems have evolved to include a Web-based component that makes them available to the public via the Internet and can expose them to a variety of Web-based attacks. ...
William G. J. Halfond, Alessandro Orso, Pete Manol...
110
Voted
DRR
2010
15 years 3 months ago
Efficient automatic OCR word validation using word partial format derivation and language model
In this paper we present an OCR validation module, implemented for the System for Preservation of Electronic Resources (SPER) developed at the U.S. National Library of Medicine.1 ...
Siyuan Chen, Dharitri Misra, George R. Thoma