Sciweavers

1697 search results - page 198 / 340
» Supporting the design of service contracts with interaction ...
Sort
View
TKDE
2011
150views more  TKDE 2011»
15 years 1 months ago
Estimating and Enhancing Real-Time Data Service Delays: Control-Theoretic Approaches
—It is essential to process real-time data service requests such as stock quotes and trade transactions in a timely manner using fresh data, which represent the current real worl...
Kyoung-Don Kang, Yan Zhou, Jisu Oh
ICECCS
2005
IEEE
125views Hardware» more  ICECCS 2005»
16 years 2 days ago
Model Checking Live Sequence Charts
Live Sequence Charts (LSCs) are a broad extension to Message Sequence Charts (MSCs) to capture complex interobject communication rigorously. A tool support for LSCs, named PlayEng...
Jun Sun 0001, Jin Song Dong
EMSOFT
2001
Springer
15 years 11 months ago
Some Synchronization Issues When Designing Embedded Systems from Components
Abstract This paper is sort of a confession. Issues of synchrony, asynchrony, and synchronization, arise frequently in designing embedded systems from components, like everyone I k...
Albert Benveniste
GCC
2003
Springer
15 years 11 months ago
Constructing Secure Web Service Based on XML
The paper discusses XML security key technologies related with security of Web service. Based on these discussions, Web service is integrated with some mature security architecture...
Shaomin Zhang, Baoyi Wang, Lihua Zhou
ACMICEC
2006
ACM
150views ECommerce» more  ACMICEC 2006»
16 years 13 days ago
A framework for managing optimization models for supply chain software agents
As third party logistic services become popular, the role of software agents increases in importance in terms of the logistics scheduling of buyers and sellers. To support many mo...
Jae Kyu Lee, Yong Sik Chang