1508 search results - page 292 / 302 » Toward Software Plug-and-Play |
SPLC
2007
13 years 9 months ago
2007
This paper presents work in progress to construct a model for guiding and evaluating the quality of featureoriented models, called FMQ. Product line concepts are becoming increasi...
SIGCOMM
2010
ACM
13 years 8 months ago
2010
ACM
Computing history has shown that open, multi-layer hardware and software stacks encourage innovation and bring costs down. Only recently this trend is meeting the networking world...
WWW
2010
ACM
13 years 8 months ago
2010
ACM
Abstract. Several projects have brought rich data semantics to collaborative wikis, but blogging platforms remain primarily limited to text. As blogs comprise a significant portion...
ICFP
2010
ACM
13 years 8 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
ASE
2008
13 years 8 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...