Sciweavers

176 search results - page 19 / 36
» EXPRESS: EXPressing REstful Semantic Services
Sort
View
IEEESCC
2005
IEEE
14 years 10 days ago
Web Service Discovery Based on Behavior Signatures
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
Zhongnan Shen, Jianwen Su
IFIP
2009
Springer
14 years 1 months ago
A Calculus of Trustworthy Ad Hoc Networks
We propose a process calculus for mobile ad hoc networks which embodies a behaviour-based multilevel decentralised trust model. Our trust model supports both direct trust, by monit...
Massimo Merro, Eleonora Sibilio
CORR
2011
Springer
172views Education» more  CORR 2011»
13 years 1 months ago
Improving Strategies via SMT Solving
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
Thomas Martin Gawlitza, David Monniaux
SEMWEB
2004
Springer
14 years 3 days ago
Towards Automatic Discovery of Web Portals
Due to the problem of information overload, locating relevant Web portals precisely based on user requirements is quite an essential task. As the need for application-to-applicatio...
Haibo Yu, Tsunenori Mine, Makoto Amamiya
EPEW
2005
Springer
14 years 8 days ago
A Compositional Operational Semantics for OWL-S
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
Barry Norton, Simon Foster, Andrew Hughes