8676 search results - page 1616 / 1736 » Reconciling Feature Modeling: A Feature Modeling Metamodel |
148
click to vote
CIKM
2009
Springer
16 years 28 days ago
2009
Springer
Many web links mislead human surfers and automated crawlers because they point to changed content, out-of-date information, or invalid URLs. It is a particular problem for large, ...
160
click to vote
ECSQARU
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We address the problem of providing a logical characterization of reasoning based on stereotypes. Following [6] we take a semantic perspective and we base our model on a ...
162
click to vote
ISVC
2009
Springer
16 years 28 days ago
2009
Springer
Modeling, characterization and analysis of biological shapes and forms are important in many computational biology studies. Shape representation challenges span the spectrum from s...
210
click to vote
HASKELL
2009
ACM
16 years 26 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
152
click to vote
SIGCOMM
2009
ACM
16 years 26 days ago
2009
ACM
New protocols for the data link and network layer are being proposed to address limitations of current protocols in terms of scalability, security, and manageability. High-speed r...