Sciweavers

329 search results - page 15 / 66
» Communications Semantics for WSBPEL Processes
Sort
View
IFIP
2004
Springer
14 years 25 days ago
New-HOPLA: A Higher-order Process Language with Name Generation
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
Glynn Winskel, Francesco Zappa Nardelli
ENTCS
2006
175views more  ENTCS 2006»
13 years 7 months ago
A Semantical Framework for the Orchestration and Choreography of Web Services
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...
Claus Pahl, Yaoling Zhu
ASSISTIVE
1998
Springer
13 years 11 months ago
Providing Intelligent Language Feedback for Augmentative Communication Users
People with severe speech and motor impairments SSMI can often use augmentative communication devices to help them communicate. While these devices can provide speech synthesis or ...
Christopher A. Pennington, Kathleen F. McCoy
ICASSP
2010
IEEE
13 years 7 months ago
Simulating dynamic communication systems using the core functional dataflow model
The latest communication technologies invariably consist of modules with dynamic behavior. There exists a number of design tools for communication system design with their foundat...
Nimish Sane, Chia-Jui Hsu, José Luis Pino, ...
RTAS
2008
IEEE
14 years 1 months ago
Optimizing the Implementation of Communication in Synchronous Reactive Models
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
Marco Di Natale, Guoqiang Wang, Alberto L. Sangiov...