Sciweavers

809 search results - page 56 / 162
» Requirements by Contracts allow Automated System Testing
Sort
View
HOTSWUP
2009
ACM
15 years 8 months ago
Efficient Systematic Testing for Dynamically Updatable Software
Recent years have seen significant advances in dynamic software updating (DSU) systems, which allow programs to be patched on the fly. However, a significant challenge remains: Ho...
Christopher M. Hayden, Eric A. Hardisty, Michael W...
LADS
2009
Springer
15 years 9 months ago
Detecting Exceptions in Commitment Protocols: Discovering Hidden States
—Open multiagent systems consist of autonomous agents that are built by different vendors. In principle, open multiagent systems cannot provide any guarantees about the behaviors...
Özgür Kafali, Pinar Yolum
SIGIR
2006
ACM
15 years 10 months ago
Minimal test collections for retrieval evaluation
Accurate estimation of information retrieval evaluation metrics such as average precision require large sets of relevance judgments. Building sets large enough for evaluation of r...
Ben Carterette, James Allan, Ramesh K. Sitaraman
INTERSPEECH
2010
14 years 11 months ago
Modeling liaison in French by using decision trees
French is known to be a language with major pronunciation irregularities at word endings with consonants. Particularly, the well-known phonetic phenomenon called Liaison is one of...
Josafá de Jesus Aguiar Pontes, Sadaoki Furu...
ETFA
2006
IEEE
15 years 10 months ago
Performance of an Application Layer Protocol for Wireless Industrial Communications
Current wireless technologies offer a viable solution for implementing communication systems capable of satisfying the severe timing requirements often required for operations at ...
Iacopo Carreras, Daniele Miorandi, Stefano Vitturi