Sciweavers

7580 search results - page 393 / 1516
» Prometheus design tool
Sort
View
FLAIRS
2003
15 years 8 months ago
Lessons Learned using CBR for Customer Support
Three CBR systems were created to improve customer support at General Electric Appliances. The first tool helped call takers answer customers’ questions by using a case base of ...
William Cheetham
BMCBI
2005
77views more  BMCBI 2005»
15 years 6 months ago
The Gene Set Builder: collation, curation, and distribution of sets of genes
Background: In bioinformatics and genomics, there are many applications designed to investigate the common properties for a set of genes. Often, these multi-gene analysis tools at...
Dimas Yusuf, Jonathan S. Lim, Wyeth W. Wasserman
TSE
2008
98views more  TSE 2008»
15 years 6 months ago
Software Architecture Visualization: An Evaluation Framework and Its Application
In order to characterize and improve software architecture visualization practice, the paper derives and constructs a qualitative framework, with seven key areas and 31 features, f...
Keith Gallagher, Andrew Hatch, Malcolm Munro
JSA
2008
131views more  JSA 2008»
15 years 6 months ago
Formal verification of ASMs using MDGs
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
Amjad Gawanmeh, Sofiène Tahar, Kirsten Wint...
STTT
2010
115views more  STTT 2010»
15 years 5 months ago
Scalable shared memory LTL model checking
Recent development in computer hardware has brought more wide-spread emergence of shared memory, multi-core systems. These architectures offer opportunities to speed up various ta...
Jiri Barnat, Lubos Brim, Petr Rockai