Sciweavers

3827 search results - page 418 / 766
» The Epsilon Generation Language
Sort
View
CAISE
2006
Springer
15 years 10 months ago
Translating Standard Process Models to BPEL
Standardisation of languages in the field of business process management has long been an elusive goal. Recently though, consensus has built around one process implementation langu...
Chun Ouyang, Marlon Dumas, Stephan Breutel, Arthur...
DEXAW
2004
IEEE
104views Database» more  DEXAW 2004»
15 years 10 months ago
Multilingual and Multimedia Information Retrieval from Web Documents
Web documents present new challenges to conventional Information Retrieval (IR) technologies. This paper describes how these challenges are faced in FameIR, a multilingual multime...
Marta Gatius, Manuel Bertrán, Horacio Rodr&...
ENC
2004
IEEE
15 years 10 months ago
On the Hardware Design of an Elliptic Curve Cryptosystem
We present a hardware architecture for an Elliptic Curve Cryptography System performing the three basic cryptographic schemes: DH key generation, encryption and digital signature....
Miguel Morales-Sandoval, Claudia Feregrino Uribe
FSTTCS
2006
Springer
15 years 10 months ago
Game Semantics for Higher-Order Concurrency
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
James Laird
ICALP
2000
Springer
15 years 10 months ago
A Matrix-based Method for Analysing Stochastic Process Algebras
This paper demonstrates how three stochastic process algebras can be mapped on to a generally-distributed stochastic transition system. We demonstrate an aggregation technique on ...
Jeremy T. Bradley, N. J. Davies