Sciweavers

105 search results - page 9 / 21
» Discouraging Software Piracy Using Software Aging
Sort
View
APWEB
2007
Springer
14 years 1 months ago
Untyped XQuery Canonization
XQuery is a powerful language defined by the W3C to query XML documents. Its query functionalities and its expressiveness satisfy the major needs of both the database community an...
Nicolas Travers, Tuyet-Tram Dang-Ngoc, Tianxiao Li...
BMCBI
2010
92views more  BMCBI 2010»
13 years 7 months ago
YODA: Software to facilitate high-throughput analysis of chronological life span, growth rate, and survival in budding yeast
Background: The budding yeast Saccharomyces cerevisiae is one of the most widely studied model organisms in aging-related science. Although several genetic modifiers of yeast long...
Brady Olsen, Christopher J. Murakami, Matt Kaeberl...
ISSTA
2006
ACM
14 years 1 months ago
Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning
Finite-state verification techniques are often hampered by the stateexplosion problem. One proposed approach for addressing this problem is assume-guarantee reasoning. Using rece...
Jamieson M. Cobleigh, George S. Avrunin, Lori A. C...
GRID
2007
Springer
14 years 1 months ago
High-available grid services through the use of virtualized clustering
Grid applications comprise several components and web-services that make them highly prone to the occurrence of transient software failures and aging problems. This type of failur...
Javier Alonso, Luís Moura Silva, Artur Andr...
WCRE
2007
IEEE
14 years 2 months ago
Examining the Effects of Global Data Usage on Software Maintainability
As the useful life expectancy of software continues to increase, the task of maintaining the source code has become the dominant phase of the software life-cycle. In order to impr...
Jason W. A. Selby, Fraser P. Ruffell, Mark Giesbre...