Sciweavers

8676 search results - page 1297 / 1736
» Reconciling Feature Modeling: A Feature Modeling Metamodel
Sort
View
301
Voted
POPL
2007
ACM
16 years 7 months ago
Types, bytes, and separation logic
We present a formal model of memory that both captures the lowlevel features of C's pointers and memory, and that forms the basis for an expressive implementation of separati...
Harvey Tuch, Gerwin Klein, Michael Norrish
206
Voted
OSDI
2008
ACM
16 years 7 months ago
HiLighter: Automatically Building Robust Signatures of Performance Behavior for Small- and Large-Scale Systems
Previous work showed that statistical analysis techniques could successfully be used to construct compact signatures of distinct operational problems in Internet server systems. B...
Armando Fox, Moisés Goldszmidt, Peter Bod&i...
VLDB
2005
ACM
123views Database» more  VLDB 2005»
16 years 7 months ago
Querying XML streams
Efficient querying of XML streams will be one of the fundamental features of next-generation information systems. In this paper we propose the TurboXPath path processor, which acce...
Vanja Josifovski, Marcus Fontoura, Attila Barta
233
Voted
SIGMOD
2007
ACM
207views Database» more  SIGMOD 2007»
16 years 7 months ago
MySearchView: a customized metasearch engine generator
In this paper, we describe MySearchView ? a system for assembling search engines into metasearch engines. With this system, any user can create a metasearch engine by simply letti...
Yiyao Lu, Zonghuan Wu, Hongkun Zhao, Weiyi Meng, K...
162
Voted
ICSE
2004
IEEE-ACM
16 years 7 months ago
AcmeStudio: Supporting Style-Centered Architecture Development
Software architectural modeling is crucial to the development of high-quality software. Software engineering tool support is required for this activity, so that models can be deve...
Bradley R. Schmerl, David Garlan
« Prev « First page 1297 / 1736 Last » Next »