496 search results - page 96 / 100 » Model Checking Expressive Web Service Descriptions |
LREC
2010
13 years 9 months ago
2010
In this paper, we report on our attempt at assigning semantic information from the English FrameNet to lexical units in the Bulgarian valency lexicon. The paper briefly presents t...
COMGEO
2010
ACM
13 years 11 months ago
2010
ACM
Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...
BMCBI
2007
13 years 7 months ago
2007
Background: Detailed information on DNA-binding transcription factors (the key players in the regulation of gene expression) and on transcriptional regulatory interactions of micr...
SAFECOMP
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper we describe a novel concept for reliability analysis of communication architectures in safety-critical systems. This concept has been motivated by applicati...
C5
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper provides an overview of MediaDART, a framework for building online services for distributing and sharing digital media. Inspired by the participative model of Web 2.0, ...