Sciweavers

1830 search results - page 93 / 366
» Centering in Dynamic Semantics
Sort
View
JNS
2010
67views more  JNS 2010»
14 years 9 months ago
A System of ODEs for a Perturbation of a Minimal Mass Soliton
We study soliton solutions to the nonlinear Schr¨odinger equation (NLS) with a saturated nonlinearity. NLS with such a nonlinearity is known to possess a minimal mass soliton. We ...
Jeremy L. Marzuola, Sarah Raynor, Gideon Simpson
CSCWD
2007
Springer
15 years 5 months ago
An Integration Life Cycle for Semantic Web Services Composition
Business applications are more and more often developed on the basis of Web services. The aim is to provide platform independence and loose coupling between business applications ...
Muhammad Ahtisham Aslam, Jun Shen, Sören Auer...
WWW
2008
ACM
15 years 12 months ago
A logical framework for modeling and reasoning about semantic web services contract
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
Hai Liu, Qing Li, Naijie Gu, An Liu
TRUSTBUS
2009
Springer
15 years 5 months ago
Operational Semantics for DKAL: Application and Analysis
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
Yuri Gurevich, Arnab Roy
WIRI
2005
IEEE
15 years 4 months ago
A Lightweight Approach to Semantic Web Service Synthesis
Web service technologies are becoming a new paradigm for distributed computing. With increasing number of web services available on the internet, there is an urgent need for infor...
Jianguo Lu, Yijun Yu, John Mylopoulos