Sciweavers

1613 search results - page 278 / 323
» Model-Driven Constraint Engineering
Sort
View
126
Voted
JSS
2002
90views more  JSS 2002»
15 years 3 months ago
Producing reliable software: an experiment
A customer of high assurance software recently sponsored a software engineering experiment in which a small real-time software system was developed concurrently by two popular sof...
Carol Smidts, Xin Huang, James C. Widmaier
PVLDB
2010
166views more  PVLDB 2010»
15 years 1 months ago
Complex Event Detection at Wire Speed with FPGAs
Complex event detection is an advanced form of data stream processing where the stream(s) are scrutinized to identify given event patterns. The challenge for many complex event pr...
Louis Woods, Jens Teubner, Gustavo Alonso
RR
2010
Springer
15 years 1 months ago
KWilt: A Semantic Patchwork for Flexible Access to Heterogeneous Knowledge
Semantic wikis and other modern knowledge management systems deviate from traditional knowledge bases in that information ranges from unstructured (wiki pages) over semi-formal (ta...
Klara A. Weiand, Steffen Hausmann, Tim Furche, Fra...
WIOPT
2010
IEEE
15 years 1 months ago
Enhancing RRM optimization using a priori knowledge for automated troubleshooting
—The paper presents a methodology that combines statistical learning with constraint optimization by locally optimizing Radio Resource Management (RRM) or system parameters of po...
Moazzam Islam Tiwana, Zwi Altman, Berna Sayra&cced...
SEMWEB
2010
Springer
15 years 1 months ago
A Self-Policing Policy Language
Abstract. Formal policies allow the non-ambiguous definition of situations in which usage of certain entities are allowed, and enable the automatic evaluation whether a situation i...
Sebastian Speiser, Rudi Studer