4272 search results - page 85 / 855 » A Case for Automatic System Evaluation |
186
click to vote
FORTE
2004
15 years 7 months ago
2004
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...
162
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
The integration of heterogeneous data sources with even heterogeneous semantic meanings poses a challenge for data and system integrators. Ontology Alignment (OA) tries to identif...
207
click to vote
JOT
2010
15 years 4 months ago
2010
The selection of software architecture style is an important decision of design stage, and has a significant impact on various system quality attributes. To determine software arc...
207
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
189
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—The Reliable Server Pooling (RSerPool) architecture is the IETF’s new standard for a lightweight server redundancy and session failover framework to support availabili...