Sciweavers

1564 search results - page 70 / 313
» Tool Support for Architectural Decisions
Sort
View
160
Voted
ICFEM
2005
Springer
15 years 11 months ago
An Evidential Tool Bus
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
John M. Rushby
COMPSAC
2003
IEEE
15 years 11 months ago
A Framework for Web-based Research Support Systems
The objective of research support systems (RSS) is to support and improve research, which may be viewed as a counterpart of decision support systems (DSS) for scientists. Web-base...
Yiyu Yao
MKWI
2008
132views Business» more  MKWI 2008»
15 years 7 months ago
Alignment of Software Specifications with Quality- and Business Goals in the SIKOSA Methodology
: Business-IT alignment for software specifications means that the specifications have to be aligned with business goals. In the SIKOSA research project, we developed the SIKOSA me...
Andrea Herrmann, Daniel Weiß
OTM
2005
Springer
15 years 11 months ago
Judicial Support Systems: Ideas for a Privacy Ontology-Based Case Analyzer
Abstract. Nowadays, ontology is applied as an integral part of many applications in several domains, especially in the world of law. The ontology based judicial support system is b...
Yan Tang, Robert Meersman
ICDM
2006
IEEE
140views Data Mining» more  ICDM 2006»
16 years 1 days ago
Mining the Future: Predicting Itemsets' Support of Association Rules Mining
This paper proposes a novel research dimension in the field of data mining, which is mining the future data before its arrival, or in other words: predicting association rules ahe...
Shenoda Guirguis, Khalil M. Ahmed, Nagwa M. El-Mak...