2351 search results - page 123 / 471 » A Method of Requirement Inconsistency Analysis |
ICCAD
2005
IEEE
15 years 7 months ago
2005
IEEE
Abstract— In bounded model checking (BMC)-based verification flows lack of reachability constraints often leads to false negatives. At present, it is daily practice of a veri...
SFM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
CEC
2005
IEEE
15 years 3 months ago
2005
IEEE
A grouping genetic algorithm (GGA) for the university course timetabling problem is outlined. We propose six different fitness functions, all sharing the same common goal, and look...
ICDM
2003
IEEE
15 years 3 months ago
2003
IEEE
A significant portion of knowledge discovery and data mining research focuses on finding patterns of interest in data. Once a pattern is found, it can be used to recognize satisfy...
RTSS
2002
IEEE
15 years 3 months ago
2002
IEEE
When executing soft real-time tasks in a shared processor, it is important to properly allocate the computational resources such that the quality of service requirements of each t...