Sciweavers

3581 search results - page 93 / 717
» The Inframetric Model for the Internet
Sort
View
ICIW
2007
IEEE
15 years 1 months ago
Type-Based Static and Dynamic Website Verification
Abstract-- Maintaining large websites and verifying their semantic content is a difficult task. In this paper we propose a framework for syntactic validation, semantic verification...
Jorge Coelho, Mário Florido
AH
2006
Springer
15 years 1 months ago
Visualizing Personal Relations in Online Communities
A hard challenge facing developers of online communities is attaining a critical mass of members and subsequently sustaining their participation. We propose a new mechanism for mot...
Andrew Webster, Julita Vassileva
55
Voted
IE
2007
14 years 11 months ago
The tale of Peter Rabbit: a case-study in story-sense reasoning
The telling and understanding of stories is a universal part of human experience. If we could reproduce even part of the process inside a computer, it could expand the possibiliti...
Malcolm Ryan, Nicholas Hannah, Joshua Lobb
ICWS
2007
IEEE
14 years 11 months ago
Transactional Coordination of Dynamic Processes in Service-Oriented Environments
Service-oriented environments facilitate dynamic processes whose properties can be altered during runtime. The transactional support of such processes holds specific requirements...
Martin Husemann, Michael Von Riegen, Norbert Ritte...
WWW
2011
ACM
14 years 4 months ago
Blognoon: exploring a topic in the blogosphere
We demonstrate Blognoon, a semantic blog search engine with the focus on topic exploration and navigation. Blognoon provides concept search instead of traditional keywords search ...
Maria P. Grineva, Maxim Grinev, Dmitry Lizorkin, A...