5434 search results - page 326 / 1087 » Tool support for MOLA |
147
click to vote
FMCAD
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. Model checking is an automated approach to the formal verification of hardware and software. To allow model checking tools to be used by the hardware or software designer...
207
click to vote
TOOLS
1991
IEEE
15 years 10 months ago
1991
IEEE
After a maturing process where models and architectures for User Interface Systems have been dened and generally accepted, the current expectations of researchers, developers and ...
150
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Relational databases are valuable sources for ontology learning. Methods and tools have been proposed to generate ontologies from such structured input. However, a major ...
163
click to vote
INTERACT
2003
15 years 8 months ago
2003
The Desktop History Tool presents users with a summary of the data they worked with throughout past days and weeks. The user’s own interaction history provides an invaluable sel...
146
click to vote
WCE
2007
15 years 7 months ago
2007
—The research efforts of the DECIDE Research Group have resulted in a decision tool capable of handling imprecise information in complex decision situations. Some of the research...