Sciweavers

329 search results - page 40 / 66
» Communications Semantics for WSBPEL Processes
Sort
View
NGC
2000
Springer
109views Communications» more  NGC 2000»
15 years 3 months ago
Router level filtering for receiver interest delivery
Delivering data to on-line game participants requires the game data to be "customized" in real-time to each participant's characteristics. Using multicast in such a...
Manuel M. Oliveira, Jon Crowcroft, Christophe Diot
MA
2000
Springer
135views Communications» more  MA 2000»
15 years 3 months ago
Principles of Mobile Maude
Mobile Maude is a mobile agent language extending the rewriting logic language Maude and supporting mobile computation. Mobile Maude uses reflection to obtain a simple and general ...
Francisco Durán, Steven Eker, Patrick Linco...
ICDCSW
2007
IEEE
15 years 6 months ago
Transactions in Content-Based Publish/Subscribe Middleware
Content-based publish/subscribe provides a flexible communication model for component interoperation in large-scale environments. In process support systems and other application...
Luis Vargas, Lauri I. W. Pesonen, Ehud Gudes, Jean...
RE
2006
Springer
14 years 11 months ago
A Case Study in Systematic Improvement of Language for Requirements
The challenges to requirements from linguistic factors are well-known. This work concerns an approach to communicating requirements with greater fidelity among stakeholders throug...
Kimberly S. Wasson
IANDC
2010
83views more  IANDC 2010»
14 years 10 months ago
Static analysis of topology-dependent broadcast networks
Broadcast semantics poses significant challenges over point-to-point communication when it comes to formal modelling and analysis. Current approaches to analysing broadcast netwo...
Sebastian Nanz, Flemming Nielson, Hanne Riis Niels...