3335 search results - page 405 / 667 » Grid result checking |
120
click to vote
SAT
2004
Springer
15 years 12 months ago
2004
Springer
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
149
click to vote
DATE
2003
IEEE
15 years 12 months ago
2003
IEEE
Symbolic techniques usually use characteristic functions for representing sets of states. Boolean functional vectors provide an alternate set representation which is suitable for ...
180
click to vote
ECBS
2003
IEEE
15 years 12 months ago
2003
IEEE
System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging ...
156
click to vote
HICSS
2003
IEEE
15 years 12 months ago
2003
IEEE
We carried out eight assessments of usability engineering processes in four industrial companies, for the purpose of providing a basis for process improvement. The research method...
168
click to vote
MEMOCODE
2003
IEEE
15 years 12 months ago
2003
IEEE
Formal techniques have been widely applied in the design of real-time systems and have significantly helped detect design errors by checking real-time properties of the model. Ho...