Sciweavers

5518 search results - page 339 / 1104
» Rule-Based Service Modeling
Sort
View
ESWS
2009
Springer
15 years 4 months ago
Towards an Agent Based Approach for Verification of OWL-S Process Models
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Alessio Lomuscio, Monika Solanki
GLOBECOM
2008
IEEE
16 years 1 months ago
A Theoretical Model of the Effects of Losses and Delays on the Performance of SIP
—The Session Initiation Protocol (SIP) is widely used for VoIP communication. Losses caused by network or server overload would cause retransmissions and delays in the session es...
Dorgham Sisalem, Mikkel Liisberg, Yacine Rebahi
ESCIENCE
2005
IEEE
16 years 8 days ago
The Supplier Model for Legacy Applications in a Grid
The use of web services as the basis for grid middleware has allowed scientists to wrap legacy applications as services in order to provide their capabilities to grid users. Howev...
Jonathan Giddy, Ian J. Grimstead, Jason Jones
GCC
2005
Springer
16 years 6 days ago
An Efficient Network Information Model Using NWS for Grid Computing Environments
Grid computing technologies enable large-scale aggregation and sharing of resources via wide-area networks focused on sharing computational, data, and other resources to form gener...
Chao-Tung Yang, Po-Chi Shih, Sung-Yi Chen, Wen-Chu...
UML
1999
Springer
15 years 11 months ago
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...
Holger Giese, Jörg Graf, Guido Wirtz