Sciweavers

1284 search results - page 106 / 257
» Abstract Processes in Orchestration Languages
Sort
View
CICLING
2009
Springer
16 years 6 months ago
Estimating Risk of Picking a Sentence for Document Summarization
Abstract. Automatic Document summarization is proving to be an increasingly important task to overcome the information overload. The primary task of document summarization process ...
Chandan Kumar, Prasad Pingali, Vasudeva Varma
TAL
2010
Springer
15 years 4 months ago
Passage Retrieval in Log Files: An Approach Based on Query Enrichment
Abstract. The question answering systems are considered the next generation of search engines. This paper focuses on the first step of this process, which is to search for relevant...
Hassan Saneifar, Stéphane Bonniol, Anne Lau...
POPL
2010
ACM
16 years 1 months ago
Abstraction-guided synthesis of synchronization
ion-Guided Synthesis of Synchronization Martin Vechev IBM Research Eran Yahav IBM Research Greta Yorsh IBM Research We present a novel framework for automatic inference of effici...
Martin T. Vechev, Eran Yahav, Greta Yorsh
SDL
2007
171views Hardware» more  SDL 2007»
15 years 7 months ago
Model Driven Development and Code Generation: An Automotive Case Study
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
Michele Banci, Alessandro Fantechi, Stefania Gnesi...
ICCSA
2009
Springer
16 years 1 months ago
MDA-Based Framework for Automatic Generation of Consistent Firewall ACLs with NAT
Abstract. The design and management of firewall ACLs is a very hard and error-prone task. Part of this complexity comes from the fact that each firewall platform has its own low-le...
Sergio Pozo, A. J. Varela-Vaca, Rafael M. Gasca