Sciweavers

1356 search results - page 104 / 272
» A variable-free dynamic semantics
Sort
View
WWW
2004
ACM
15 years 10 months ago
CTR-S: a logic for specifying contracts in semantic web services
A requirements analysis in the emerging field of Semantic Web Services (SWS) (see http://daml.org/services/swsl/requirements/) has identified four major areas of research: intelli...
Hasan Davulcu, Michael Kifer, I. V. Ramakrishnan
BIRTHDAY
2009
Springer
15 years 4 months ago
A Semantical Account of Progression in the Presence of Defaults
In previous work, we proposed a modal fragment of the situation calculus called ES, which fully captures Reiter’s basic action theories. ES also has epistemic features, includin...
Gerhard Lakemeyer, Hector J. Levesque
ISM
2008
IEEE
137views Multimedia» more  ISM 2008»
15 years 4 months ago
A Semantics- and Data-Driven SOA for Biomedical Multimedia Systems
Due to the problems of heterogeneous data and platforms, abundant functional and QoS requirements, high data size, and tangling correlation between data/contents and software func...
Shih-Hsi Liu, Yu Cao, Ming Li, Pranay Kilaru, Thel...
ACSAC
2007
IEEE
15 years 4 months ago
Sania: Syntactic and Semantic Analysis for Automated Testing against SQL Injection
With the recent rapid increase in interactive web applications that employ back-end database services, an SQL injection attack has become one of the most serious security threats....
Yuji Kosuga, Kenji Kono, Miyuki Hanaoka, Miho Hish...
CCGRID
2005
IEEE
15 years 3 months ago
Using semantic Web technology to automate data integration in grid and Web service architectures
While the Grid and Web Services have helped us support heterogeneous resource access through the use of service oriented architectures, they have not addressed the issue of hetero...
Martin Szomszor, Terry R. Payne, Luc Moreau