677 search results - page 106 / 136 » Rigorous Object-Oriented Analysis |
ICNP
2002
IEEE
14 years 1 months ago
2002
IEEE
— This paper describes a novel, ultra-fast heuristic algorithm to address an NP-hard optimization problem. One of its significances is that, for the first time, the paper shows...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
WABI
2001
Springer
14 years 27 days ago
2001
Springer
A central issue in molecular biology is understanding the regulatory mechanisms that control gene expression. The recent flood of genomic and postgenomic data opens the way for co...
ISSRE
2000
IEEE
14 years 26 days ago
2000
IEEE
The behavior of nondeterminate systems can be hard to predict, since similar inputs at different times can generate different outputs. In other words, the behavior seen during tes...
COMPSAC
1999
IEEE
14 years 24 days ago
1999
IEEE
The use of formal methods has been growing steadily and there have been a number of successful applications of formal methods in a range of application areas. It seems agreed that...