Sciweavers

2242 search results - page 243 / 449
» From testing to anti-product development
Sort
View
ICSOC
2005
Springer
16 years 2 days ago
Pattern-Based Specification and Validation of Web Services Interaction Properties
There have been significant efforts in providing semantic descriptions for Web services, including the approach as exemplified by OWLS. Part of the semantic description in OWL-S is...
Zheng Li, Jun Han, Yan Jin
CLEF
2003
Springer
15 years 11 months ago
Cross-Language Question Answering at the USC Information Sciences Institute
Abstract. The TextMap-TMT cross-language question answering system at USC-ISI was designed to answer Spanish questions from English documents. The system is fully automatic, includ...
Abdessamad Echihabi, Douglas W. Oard, Daniel Marcu...
GECCO
2003
Springer
124views Optimization» more  GECCO 2003»
15 years 11 months ago
Study Diploid System by a Hamiltonian Cycle Problem Algorithm
Complex representation in Genetic Algorithms and pattern in real problems limits the effect of crossover to construct better pattern from sporadic building blocks. Instead of intro...
Dong Xianghui, Ruwei Dai
ASYNC
1999
IEEE
110views Hardware» more  ASYNC 1999»
15 years 11 months ago
Verification of Delayed-Reset Domino Circuits Using ATACS
This paper discusses the application of the timing analysis tool ATACS to the high performance, self-resetting and delayed-reset domino circuits being designed at IBM's Austi...
Wendy Belluomini, Chris J. Myers, H. Peter Hofstee
CAV
2010
Springer
239views Hardware» more  CAV 2010»
15 years 10 months ago
Model Checking of Linearizability of Concurrent List Implementations
Abstract. Concurrent data structures with fine-grained synchronization are notoriously difficult to implement correctly. The difficulty of reasoning about these implementations do...
Pavol Cerný, Arjun Radhakrishna, Damien Zuf...