2702 search results - page 130 / 541 » Practically Applicable Formal Methods |
IWCMC
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents the application of cognitive algorithm for a stream diffusion in home theatre “5+1 audio” surround applications. We develop a wavelet-based method to effic...
OWLED
2008
14 years 11 months ago
2008
We view OWL instance data evaluation as a process in which instance data is checked for conformance with application requirements. We previously identified some integrity issues ra...
ACMICEC
2006
ACM
2006
ACM
A semantic-based fully visual application for matchmaking and query refinement in B2C e-marketplaces
15 years 1 months ago
This paper presents a visual application in the framework of semantic-enabled e-marketplaces aimed at fully exploiting semantics of supply/demand descriptions in B2C and C2C e-mar...
102
click to vote
COMPSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
ISOLA
2004
Springer
15 years 3 months ago
2004
Springer
In this paper we introduce RML, which stands for Rule Markup Language and is used for rule–based transformations of XML. With RML the user can define XML wildcard elements, vari...