Sciweavers

3047 search results - page 474 / 610
» Aggregation functions: Means
Sort
View
126
Voted
MOZ
2004
Springer
15 years 9 months ago
P2PS: Peer-to-Peer Development Platform for Mozart
Abstract. Recently, development of peer-to-peer (P2P) applications has been giving a paramount attention mostly due to their attractive features such as decentralization and self-o...
Valentin Mesaros, Bruno Carton, Peter Van Roy
141
Voted
RTA
2004
Springer
15 years 9 months ago
mu-term: A Tool for Proving Termination of Context-Sensitive Rewriting
Restrictions of rewriting can eventually achieve termination by pruning all infinite rewrite sequences issued from every term. Contextsensitive rewriting (CSR) is an example of su...
Salvador Lucas
SCOPES
2004
Springer
15 years 9 months ago
Compact Procedural Implementation in DSP Software Synthesis Through Recursive Graph Decomposition
Abstract. Synthesis of digital signal processing (DSP) software from dataflow-based formal models is an effective approach for tackling the complexity of modern DSP applications. I...
Ming-Yung Ko, Praveen K. Murthy, Shuvra S. Bhattac...
123
Voted
APSEC
2003
IEEE
15 years 8 months ago
An XVCL Approach to Handling Variants: A KWIC Product Line Example
We developed XVCL (XML-based Variant Configuration Language), a method and tool for product lines, to facilitate handling variants in reusable software assets (such as architectur...
Hongyu Zhang, Stan Jarzabek
139
Voted
AUIC
2003
IEEE
15 years 8 months ago
Non-invasive Adaptation of Black-box User Interfaces
In this paper a new method for the non-invasive adaptation of user interfaces is presented. The main idea is not to implement the user interface toolkit as an API, but instead as ...
Dirc Rose, Simon Stegmaier, Guido Reina, Daniel We...