Search Sciweavers | Sciweavers

1284 search results - page 9 / 257

» Abstract Processes in Orchestration Languages

171

click to vote

ENTCS
2006

148views more ENTCS 2006»

Towards the Semantics and Verification of BPEL4WS

15 years 6 months ago

Download www.is.pku.edu.cn

Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...

Geguang Pu, Xiangpeng Zhao, Shuling Wang, Zongyan ...

claim paper

Read More »

119

click to vote

CICLING
2006
Springer

105views Natural Language Processing» more CICLING 2006»

Sense Cluster Based Categorization and Clustering of Abstracts

15 years 10 months ago

Download users.dsic.upv.es

Davide Buscaldi, Paolo Rosso, Mikhail Alexandrov, ...

claim paper

Read More »

134

click to vote

FDL
2004
IEEE

144views Natural Language Processing» more FDL 2004»

Enabling SystemC Verification using Abstract State Machines

15 years 10 months ago

Download hvg.ece.concordia.ca

Amjad Gawanmeh, Ali Habibi, Sofiène Tahar

claim paper

Read More »

147

click to vote

EACL
1993
ACL Anthology

147views Natural Language Processing» more EACL 1993»

On Abstract Finite-State Morphology

15 years 7 months ago

Download acl.ldc.upenn.edu

Ajit Narayanan, Lama Hashem

claim paper

Read More »

114

Voted

INLG
2010
Springer

95views Natural Language Processing» more INLG 2010»

Generating and Validating Abstracts of Meeting Conversations: a User Study

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers