Sciweavers

373 search results - page 5 / 75
» Model Checking Techniques applied to the design of Web Servi...
Sort
View
SAC
2008
ACM
14 years 9 months ago
The QoS-MO ontology for semantic QoS modeling
This paper presents the QoS-MO ontology. This ontology enables the specification of QoS requirements for Semantic Web Services and can easily be combined with OWL-S in order to fu...
Gustavo Fortes Tondello, Frank Siqueira
RTS
2006
176views more  RTS 2006»
14 years 9 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
WOSP
2005
ACM
15 years 3 months ago
Applying SPE techniques for modeling a grid-enabled JAVA platform
Advances in Internet and the availability of powerful computers and high-speed networks have propitiated the rise of Grids. The scheduling of applications is complex in Grids due ...
Mariela Curiel, M. Angélica Pérez, R...
SAC
2008
ACM
14 years 9 months ago
Designing semantic web services using conceptual model
There are emerging technologies such as SAWSDL or WSMO that extend the current Web Services technologies to so called Semantic Web Services by combining the structural and semanti...
Martin Necasky, Jaroslav Pokorný
93
Voted
WWW
2004
ACM
15 years 10 months ago
TCOZ approach to semantic web services design
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
Jin Song Dong, Yuan-Fang Li, Hai H. Wang