Sciweavers

2704 search results - page 114 / 541
» Constraint Management in Engineering of Complex Information ...
Sort
View
EDBT
2009
ACM
81views Database» more  EDBT 2009»
15 years 10 months ago
Exploiting similarity-aware grouping in decision support systems
Decision Support Systems (DSS) are information systems that support decision making processes. In many scenarios these systems are built on top of data managed by DBMSs and make e...
Yasin N. Silva, Muhammad U. Arshad, Walid G. Aref
161
Voted
KBSE
2005
IEEE
15 years 11 months ago
Automated population of causal models for improved software risk assessment
Recent work in applying causal modeling (Bayesian networks) to software engineering has resulted in improved decision support systems for software project managers. Once the causa...
Peter Hearty, Norman E. Fenton, Martin Neil, Patri...
ICFEM
2010
Springer
15 years 4 months ago
Loop Invariant Synthesis in a Combined Domain
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
Shengchao Qin, Guanhua He, Chenguang Luo, Wei-Ngan...
WAIM
2010
Springer
15 years 4 months ago
Enriching the Contents of Enterprises' Wiki Systems with Web Information
Abstract. Wikis are currently used in providing knowledge management systems for individual enterprises. The initial explanations of word entries (entities) in such a system can be...
Li Zhao, Yexin Wang, Congrui Huang, Yan Zhang
CODES
2006
IEEE
15 years 8 months ago
Efficient computation of buffer capacities for multi-rate real-time systems with back-pressure
A key step in the design of multi-rate real-time systems is the determination of buffer capacities. In our multi-processor system, we apply back-pressure as caused by bounded buff...
Maarten Wiggers, Marco Bekooij, Pierre G. Jansen, ...