Sciweavers

468 search results - page 12 / 94
» Challenges and Directions for Semantic Communication
Sort
View
BIRTHDAY
2005
Springer
15 years 3 months ago
Fibring Logics: Past, Present and Future
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
Carlos Caleiro, Amílcar Sernadas, Cristina ...
FM
2006
Springer
146views Formal Methods» more  FM 2006»
15 years 1 months ago
Formal Modeling of Communication Protocols by Graph Transformation
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
Zarrin Langari, Richard J. Trefler
IASTEDSE
2004
14 years 11 months ago
Visual interface for adaptation of data sources to semantic web
Development of computer communications has catalyzed integration processes in world communities. Initial efforts concerning integration have showed great heterogeneity between dat...
Olena Kaykova, Oleksiy Khriyenko, Mikko Kovalainen...
AIMSA
2006
Springer
15 years 1 months ago
Study on Integrating Semantic Applications with Magpie
Abstract. This paper describes two approaches to integrating standalone information processing techniques into a semantic application capable of acquiring and maintaining knowledge...
Martin Dzbor, Enrico Motta
108
Voted
CNSM
2010
14 years 1 months ago
Towards non-expert users monitoring networks and services through semantically enhanced visualizations
— Managing networks and services in large virtual enterprises often requires significant expertise to decipher and reconcile information coming from several heterogeneous sources...
Owen Conlan, John Keeney, Cormac Hampson, Fion&aac...