Sciweavers

2583 search results - page 195 / 517
» Internet Messaging Frameworks
Sort
View
HYBRID
2010
Springer
15 years 9 months ago
Safe compositional network sketches: formal framework
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Mi...
COBUILD
1998
Springer
15 years 8 months ago
An Agent-Based Telecooperation Framework
Abstract. As the amount of information and communication increases dramatically new working environments must provide efficient mechanisms to maximize the benefits of these develop...
Albrecht Schmidt, Alexander Specker, Gerhard Parts...
157
Voted
DAC
2007
ACM
16 years 5 months ago
Period Optimization for Hard Real-time Distributed Automotive Systems
The complexity and physical distribution of modern active-safety automotive applications requires the use of distributed architectures. These architectures consist of multiple ele...
Abhijit Davare, Qi Zhu, Marco Di Natale, Claudio P...
WECWIS
2008
IEEE
104views ECommerce» more  WECWIS 2008»
15 years 11 months ago
WSDL-D: A Flexible Web Service Invocation Mechanism for Large Datasets
WSDL web services are built around the request-reply framework, requiring service invocation to be bundled together with all relevant data in a single message. Inefficiency become...
Mark Wiley, Aihua Wu 0002, Jianwen Su
ESCIENCE
2007
IEEE
15 years 11 months ago
Binary Data Transfer Performance over High-Latency Networks Using Web Service Attachments
One of the objectives of e-Research is to help scientists to accomplish their research, including scientific experiments, more effectively and efficiently. Web services provide ...
Donglai Zhang, Paul D. Coddington, Andrew L. Wende...