Search Sciweavers | Sciweavers

1284 search results - page 9 / 257

» Abstract Processes in Orchestration Languages

125

click to vote

ENTCS
2006

148views more ENTCS 2006»

Towards the Semantics and Verification of BPEL4WS

15 years 3 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 »

click to vote

CICLING
2006
Springer

105views Natural Language Processing» more CICLING 2006»

Sense Cluster Based Categorization and Clustering of Abstracts

15 years 7 months ago

Download users.dsic.upv.es

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

claim paper

Read More »

click to vote

FDL
2004
IEEE

144views Natural Language Processing» more FDL 2004»

Enabling SystemC Verification using Abstract State Machines

15 years 7 months ago

Download hvg.ece.concordia.ca

Amjad Gawanmeh, Ali Habibi, Sofiène Tahar

claim paper

Read More »

109

click to vote

EACL
1993
ACL Anthology

147views Natural Language Processing» more EACL 1993»

On Abstract Finite-State Morphology

15 years 4 months ago

Download acl.ldc.upenn.edu

Ajit Narayanan, Lama Hashem

claim paper

Read More »

click to vote

INLG
2010
Springer

95views Natural Language Processing» more INLG 2010»

Generating and Validating Abstracts of Meeting Conversations: a User Study

15 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers