Sciweavers

114 search results - page 12 / 23
» Exploring Multi-Level Modeling Relations Using Variability M...
Sort
View
CDC
2008
IEEE
186views Control Systems» more  CDC 2008»
13 years 8 months ago
A mathematical model of the Skype VoIP congestion control algorithm
The Internet is changing from being only an efficient platform for data delivery to become also a platform for audio/video applications. The stability of the traditional Internet i...
Luca De Cicco, Saverio Mascolo, Vittorio Palmisano
BMCBI
2008
166views more  BMCBI 2008»
13 years 6 months ago
Learning transcriptional regulatory networks from high throughput gene expression data using continuous three-way mutual informa
Background: Probability based statistical learning methods such as mutual information and Bayesian networks have emerged as a major category of tools for reverse engineering mecha...
Weijun Luo, Kurt D. Hankenson, Peter J. Woolf
AOSD
2007
ACM
13 years 10 months ago
On the duality of aspect-oriented and feature-oriented design patterns
Design patterns aim at improving reusability and variability of object-oriented software. Despite a notable success, aspect-oriented programming (AOP) has been discussed recently ...
Martin Kuhlemann, Marko Rosenmüller, Sven Ape...
FM
2006
Springer
111views Formal Methods» more  FM 2006»
13 years 10 months ago
A Formal Template Language Enabling Metaproof
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
Nuno Amálio, Susan Stepney, Fiona Polack
FM
2001
Springer
108views Formal Methods» more  FM 2001»
13 years 11 months ago
Improvements in BDD-Based Reachability Analysis of Timed Automata
To develop efficient algorithms for the reachability analysis of timed automata, a promising approach is to use binary decision diagrams (BDDs) as data structure for the representa...
Dirk Beyer