1397 search results - page 163 / 280 » Manufacturing Modeling using Process Nets with Resources |
138
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—We describe BPELCheck, a tool for statically analyzing interactions of composite web services implemented in BPEL. Our algorithm is compositional, and checks each proces...
148
click to vote
ICNS
2007
IEEE
15 years 11 months ago
2007
IEEE
—This paper presents an Erlang reduced load model to analyze Optical Burst Switched Grid networks. The model allows the evaluation of job blocking probabilities, in which blockin...
170
Voted
EGC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Grid technology is widely emerging as a solution for wide-spread applicability of computerized analysis and processing procedures in biomedical sciences. In this paper we...
147
click to vote
CLOUDCOM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--The cloud computing model aims to make largescale data-intensive computing affordable even for users with limited financial resources, that cannot invest into expensive i...
131
click to vote
ACL
2009
15 years 2 months ago
2009
This paper addresses the task of handling unknown terms in SMT. We propose using source-language monolingual models and resources to paraphrase the source text prior to translatio...