1791 search results - page 192 / 359 » Using Open Hypermedia to Support Information Integration |
FM
2009
Springer
14 years 2 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
SC
2009
ACM
14 years 1 months ago
2009
ACM
In this paper, we discuss the recent ESG’s development and implementation efforts concerning its authentication infrastructure. ESG’s requirements are to make the user’s log...
ATAL
2006
Springer
14 years 2 days ago
2006
Springer
Communication in open heterogeneous multi agent systems is hampered by lack of shared ontologies. To overcome these problems, we propose a layered communication protocol which inc...
ICMCS
2000
IEEE
14 years 22 days ago
2000
IEEE
Manipulating digital video using desktop computers, especially in uncompressed form, and communicating it over networks can be time-consuming because of it large bandwidth require...
TKDE
2012
11 years 10 months ago
2012
—Many data mining techniques have been proposed for mining useful patterns in text documents. However, how to effectively use and update discovered patterns is still an open rese...