Sciweavers

2250 search results - page 366 / 450
» Interactive Explanation of Software Systems
Sort
View
WWW
2004
ACM
14 years 10 months ago
TCOZ approach to semantic web services design
Complex Semantic Web (SW) services may have intricate data state, autonomous process behavior and concurrent interactions. The design of such SW service systems requires precise a...
Jin Song Dong, Yuan-Fang Li, Hai H. Wang
POPL
2009
ACM
14 years 10 months ago
Automated verification of practical garbage collectors
Garbage collectors are notoriously hard to verify, due to their lowlevel interaction with the underlying system and the general difficulty in reasoning about reachability in graph...
Chris Hawblitzel, Erez Petrank
ICSE
2004
IEEE-ACM
14 years 9 months ago
A Feature-Oriented Alternative to Implementing Reliability Connector Wrappers
Connectors and connector wrappers explicitly specify the protocol of interaction among components and afford the reusable application of extra-functional behaviors, such as reliabi...
J. H. Sowell, R. E. Kurt Stirewalt
IUI
2010
ACM
14 years 6 months ago
Aspect-level news browsing: understanding news events from multiple viewpoints
Aspect-level news browsing provides readers with a classified view of news articles with different viewpoints. It facilitates active interactions with which readers easily discove...
Souneil Park, Sang Jeong Lee, Junehwa Song
IUI
2009
ACM
14 years 6 months ago
Understanding the intent behind mobile information needs
Mobile phones are becoming increasingly popular as a means of information access while on-the-go. Mobile users are likely to be interested in locating different types of content. ...
Karen Church, Barry Smyth