Sciweavers

468 search results - page 42 / 94
» Challenges and Directions for Semantic Communication
Sort
View
WAIM
2009
Springer
15 years 4 months ago
An Approach to Detect Collaborative Conflicts for Ontology Development
Ontology has been widely adopted as the basis of knowledge sharing and knowledge-based public services. However, ontology construction is a big challenge, especially in collaborati...
Yewang Chen, Xin Peng, Wenyun Zhao
SEMWEB
2004
Springer
15 years 3 months ago
Towards Automatic Discovery of Web Portals
Due to the problem of information overload, locating relevant Web portals precisely based on user requirements is quite an essential task. As the need for application-to-applicatio...
Haibo Yu, Tsunenori Mine, Makoto Amamiya
ISSS
2002
IEEE
120views Hardware» more  ISSS 2002»
15 years 2 months ago
Virtual Synchronization for Fast Distributed Cosimulation of Dataflow Task Graphs
Fast distributed cosimulation is a challenging problem for the embedded system design. The main theme of this paper is to increase simulation speed by reducing the frequency of in...
Soonhoi Ha, Sungchan Kim, Chan-Eun Rhee, Hyunguk J...
BIRTHDAY
2008
Springer
14 years 11 months ago
A Category of Explicit Fusions
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
Filippo Bonchi, Maria Grazia Buscemi, Vincenzo Cia...
POPL
2006
ACM
15 years 10 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...