872 search results - page 154 / 175 » UML-based design test generation |
104
click to vote
UTP
2010
14 years 10 months ago
2010
In this paper, we present various extensions of Isabelle/HOL by theories that are essential for several formal methods. First, we explain how we have developed an Isabelle/HOL theo...
115
click to vote
TSMC
2011
14 years 6 months ago
2011
—The university course timetabling problem (UCTP) is a combinatorial optimization problem, in which a set of events has to be scheduled into time slots and located into suitable ...
101
click to vote
SIMULATION
2010
14 years 6 months ago
2010
We introduce and describe a novel network simulation tool called NeSSi (Network Security Simulator). NeSSi incorporates a variety of features relevant to network security distingu...
206
click to vote
CVPR
2011
IEEE
14 years 3 months ago
2011
IEEE
Spatial Pyramid Representation (SPR) is a widely used method for embedding both global and local spatial information into a feature, and it shows good performance in terms of gene...
84
Voted
DAC
2000
ACM
16 years 22 days ago
2000
ACM
Recently, intellectual property protection (IPP) techniques attracted a great deal of attention from semiconductor, system integration and software companies. A number of watermar...