Sciweavers

329 search results - page 13 / 66
» Design for verification for asynchronously communicating Web...
Sort
View
80
Voted
RTSS
1998
IEEE
15 years 1 months ago
Design and Implementation of a Real-Time ATM-Based Protocol Server
This paper describes design and implementation of L ATM, an ATM (Asynchronous Transfer Mode) based networking server. While ATM emphasizes deterministic highspeed communication, a...
Martin Borriss, Hermann Härtig
SAC
2000
ACM
15 years 1 months ago
The Mobile Agent Technology to Support and to Access Museum Information
The global scenario put together by communication networks determines new opportunities towards the realization of Internetbased distributed services in many complex and composite...
Paolo Bellavista, Antonio Corradi, Andrea Tomasi
ATAL
2003
Springer
15 years 1 months ago
Distributed enactment of multiagent workflows: temporal logic for web service composition
We address the problem of constructing multiagent systems by coordinating heterogeneous, autonomous agents, whose internal designs may not be fully known. A major application area...
Munindar P. Singh
WCE
2007
14 years 10 months ago
Web Mining: Strategic Web Site Design for Small Business
- Websites are used to establish the company’s policy and image, to promote and sell goods or support services and to provide customer support and to facilitate the communication...
Mohammad A. A. Alhawamdeh
107
Voted
COLCOM
2008
IEEE
14 years 11 months ago
Mashup Model and Verification Using Mashup Processing Network
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
Ehtesham Zahoor, Olivier Perrin, Claude Godart