Sciweavers

1153 search results - page 41 / 231
» Compositional Specification Calculus for Information Systems...
Sort
View
108
Voted
KES
2008
Springer
15 years 3 months ago
EasyLife: A Location-Aware Service Oriented Mobile Information System
Many examples of Location-aware services have been developed in recent years as the enabling technologies mature. However, these services frequently exist in isolation and address ...
J. M. Shen, Michael J. O'Grady, Gregory M. P. O'Ha...
125
Voted
ITCC
2005
IEEE
15 years 9 months ago
An Analysis of Notification Related Specifications for Web/Grid Applications
Notification is especially important in the Service Oriented Architecture (SOA) model engendered by Web Services. where Web Services interact with each other through the exchange ...
Shrideep Pallickara, Geoffrey Fox
126
Voted
TON
2002
102views more  TON 2002»
15 years 3 months ago
A min, + system theory for constrained traffic regulation and dynamic service guarantees
By extending the system theory under the (min, +) algebra to the time-varying setting, we solve the problem of constrained traffic regulation and develop a calculus for dynamic ser...
Cheng-Shang Chang, Rene L. Cruz, Jean-Yves Le Boud...
108
Voted
WWW
2003
ACM
16 years 4 months ago
Service Chart Diagrams - Description & Application
This paper presents an approach for the design and development of service-driven applications. These applications rely on the collaboration of multiple services that businesses of...
Zakaria Maamar, Boualem Benatallah, Wathiq Mansoor
120
Voted
CAISE
2003
Springer
15 years 9 months ago
From State to Structure: an XML Web Publishing Framework
Abstract. We present the main features of a system designed to support the development and delivery of web applications through concepts for modularity, reuse and rapid prototyping...
Moira C. Norrie, Alexios Palinginis