1260 search results - page 195 / 252 » The Role of Models in Leveraging Information |
WISE
2003
Springer
15 years 3 months ago
2003
Springer
Semantic web services hold the promise of greatly increasing interoperability among software agents and web services by enabling content-based (as opposed to format-based) automat...
DCC
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper interprets image interpolation as a channel decoding problem and proposes a tanner graph based interpolation framework, which regards each pixel in an image as a variab...
EUROMICRO
2002
IEEE
15 years 2 months ago
2002
IEEE
The initial steps in carrying out a feasibility analysis for a web project, based on information obtained interactively from a prospective client, are modelled as a rulebased expe...
CCS
2001
ACM
15 years 2 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
TAP
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...