1060 search results - page 23 / 212 » Mechanized semantics |
EDOC
2005
IEEE
15 years 3 months ago
2005
IEEE
12 OWL-S is an instance of the Web Ontology Language (OWL) that is used to describe and specify semantic web services. While OWL-S provides a promising mechanism for specification...
CSFW
2009
IEEE
15 years 4 months ago
2009
IEEE
Timeout mechanisms are a useful feature for web applications. However, these mechanisms need to be used with care because, if used as-is, they are vulnerable to timing attacks. Th...
ECAI
1994
Springer
15 years 1 months ago
1994
Springer
This paper presents a lexical model dedicated to the semantic representation and interpretation of individual words in unrestricted text, where sense discrimination is difficult t...
IFM
1999
Springer
15 years 1 months ago
1999
Springer
The feature interaction problem is prominent in telephone service development. Through a number of case studies, we have discovered that no single semantic framework is suitable f...
FM
2005
Springer
15 years 3 months ago
2005
Springer
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...