1419 search results - page 140 / 284 » Notes on Formalizing Context |
103
click to vote
AO
2007
15 years 1 months ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
146
Voted
FORTE
2009
14 years 11 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
123
click to vote
WWW
2004
ACM
16 years 1 months ago
2004
ACM
This paper describes an XPath-based discourse analysis module for Spoken Dialogue Systems that allows the dialogue author to easily manipulate and query both the user input's...
119
Voted
HICSS
2008
IEEE
15 years 7 months ago
2008
IEEE
In innovation adoption literature, the important role of the organizational context as a determinant of information systems (IS) success has long been pointed out. Various factors...
TACAS
2005
Springer
15 years 6 months ago
2005
Springer
This paper addresses the problem of generating symbolic test cases for testing the conformance of a black-box implementation with respect to a specification, in the context of rea...