3667 search results - page 232 / 734 » Software Rejuvenation - Modeling and Analysis |
170
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
This paper is concerned with the synthesis of invariants in programs with arrays. More specifically, we consider properties concerning array contents up to a permutation. For inst...
116
click to vote
IJCNLP
2004
Springer
15 years 9 months ago
2004
Springer
We present a deep computational Modern Greek grammar. The grammar is written in HPSG and is being developed in a multilingual context with MRS semantics, contributing to an open-so...
126
Voted
COMPGEOM
1998
ACM
15 years 8 months ago
1998
ACM
Shape deformation refers to the continuous change of one geometric object to another. We develop a software tool for planning, analyzing, and visualizing deformations between two ...
138
click to vote
GVD
2004
15 years 5 months ago
2004
Caching is a proven means to improve scalability and availability of software systems as well as to reduce latency of user requests. In contrast to Web caching where single Web ob...
122
click to vote
AIPS
1996
15 years 5 months ago
1996
A key obstacle hampering fielding of AI planning applications is the considerable expense of developing, verifying, updating, and maintaining the planning knowledge base (KB). Pla...