6020 search results - page 402 / 1204 » A New Approach to Model Counting |
215
click to vote
ACML
2009
Springer
16 years 1 months ago
2009
Springer
Enterprises have accumulated both structured and unstructured data steadily as computing resources improve. However, previous research on enterprise data mining often treats these ...
175
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
As software systems evolve, they become more complex and harder to understand and maintain. Certain reverse engineering techniques attempt to reconstruct software models from sour...
188
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The problems involved in the development of user interfaces become even more severe through the ubiquitous use of a variety of devices such as PCs, mobile phones and PDAs. Each of...
202
click to vote
SPIN
2007
Springer
16 years 29 days ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
158
click to vote
ASM
2005
ASM
16 years 12 days ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...