Sciweavers

713 search results - page 47 / 143
» Toward a More Reliable Theory of Software Reliability
Sort
View
HCI
2009
13 years 6 months ago
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
Philippe A. Palanque, Jean-François Ladry, ...
CCS
2010
ACM
13 years 8 months ago
Demonstrating cognitive packet network resilience to worm attacks
The need for network stability and reliability has led to the growth of autonomic networks [2] that can provide more stable and more reliable communications via on-line measuremen...
Georgia Sakellari, Erol Gelenbe
ICWS
2009
IEEE
14 years 5 months ago
Towards Probabilistic Estimation of Quality of Online Services
Accurate estimation of quality of online services is both an important and difficult problem, since a service has many interdependent quality attributes influenced by several co...
Le-Hung Vu, Karl Aberer
AIME
2009
Springer
14 years 3 months ago
CORAAL - Towards Deep Exploitation of Textual Resources in Life Sciences
Abstract. Prominent biomedical literature search tools like ScienceDirect, PubMed Central or MEDLINE allow for efficient retrieval of resources based on key words. Due to vast amou...
Vít Novácek, Tudor Groza, Siegfried ...
CIKM
2011
Springer
12 years 8 months ago
Toward interactive training and evaluation
Machine learning often relies on costly labeled data, and this impedes its application to new classification and information extraction problems. This has motivated the developme...
Gregory Druck, Andrew McCallum