Sciweavers

554 search results - page 50 / 111
» Modeling and Reasoning about Service Behaviors and Their Com...
Sort
View
REST
2010
ACM
15 years 3 months ago
A formal definition of RESTful semantic web services
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
Antonio Garrote Hernández, María N. ...
LPAR
2007
Springer
15 years 8 months ago
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
Francien Dechesne, Mohammad Reza Mousavi, Simona O...
INFOCOM
2008
IEEE
15 years 8 months ago
On Optimal Sizing of Tiered Network Services
Abstract— We develop an economic model for networks offering tiered services and we formulate the problem of selecting the service tiers from three perspectives: one that conside...
Qian Lv, George N. Rouskas
BIOCOMP
2008
15 years 3 months ago
Semantic Discovery of Protein Web Services
- Integrating information about protein sequence and structure allows further exploration and establishment of protein sequence-structure-function relations. However, protein data ...
Xiong Liu, Hassan A. Karimi
ER
2008
Springer
91views Database» more  ER 2008»
15 years 3 months ago
Location-Based Software Modeling and Analysis: Tropos-Based Approach
The continuous growth of interest in mobile applications makes the concept of location essential to design and develop software systems. Location-based software is supposed to be a...
Raian Ali, Fabiano Dalpiaz, Paolo Giorgini