Sciweavers

1210 search results - page 72 / 242
» Specifying Precise Use Cases with Use Case Charts
Sort
View
ISIPTA
2005
IEEE
161views Mathematics» more  ISIPTA 2005»
15 years 10 months ago
Decision making under incomplete data using the imprecise Dirichlet model
The paper presents an efficient solution to decision problems where direct partial information on the distribution of the states of nature is available, either by observations of ...
Lev V. Utkin, Thomas Augustin
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 8 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
WSC
2008
15 years 6 months ago
Simulation optimization for industrial scheduling using hybrid genetic representation
Simulation modeling has the capability to represent complex real-world systems in details and therefore it is suitable to develop simulation models for generating detailed operati...
Marcus Andersson, Amos Ng, Henrik Grimm
PARMA
2004
136views Database» more  PARMA 2004»
15 years 5 months ago
Using Classification and Visualization on Pattern Databases for Gene Expression Data Analysis
Abstract. We are designing new data mining techniques on gene expression data, more precisely inductive querying techniques that extract a priori interesting bi-sets, i.e., sets of...
Céline Robardet, Ruggero G. Pensa, Jé...
TSE
2008
89views more  TSE 2008»
15 years 4 months 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...