3931 search results - page 581 / 787 » Separation logic and abstraction |
154
click to vote
ISBI
2009
IEEE
16 years 2 months ago
2009
IEEE
Recently various mathematical models have been proposed to model the signal attenuation obtained from Diffusion Weighted Magnetic Resonance Imaging (DW-MRI). Though effective to v...
186
click to vote
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
Within the field of software repository mining, it is common practice to extract change-events from source control systems and then abstract these events to allow for different a...
192
click to vote
ICSE
2009
IEEE-ACM
16 years 2 months ago
2009
IEEE-ACM
The wide diffusion of reliable Internet is pushing two key novelties in the conception of modern software applications: the Software as a Service paradigm and the idea of the Inte...
184
Voted
PAM
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Multi-channel multi-radio architectures have been widely studied for 802.11-based wireless mesh networks to address the capacity problem due to wireless interference. The...
221
click to vote
TOOLS
2009
IEEE
16 years 2 months ago
2009
IEEE
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...