Sciweavers

6829 search results - page 422 / 1366
» Quantitative Generalizations of Languages
Sort
View
324
Voted

Book
2651views
17 years 4 months ago
Object Oriented Programming with ANSI-C
"This book is not going to praise object-oriented programming or condemn the Old Way. We are simply going to use ANSI-C to discover how object-oriented programming is done, w...
Axel-Tobias Schreiner
190
Voted
WWW
2008
ACM
16 years 7 months ago
A logical framework for modeling and reasoning about semantic web services contract
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...
Hai Liu, Qing Li, Naijie Gu, An Liu
WWW
2006
ACM
16 years 7 months ago
AutoTag: a collaborative approach to automated tag assignment for weblog posts
This paper describes AutoTag, a tool which suggests tags for weblog posts using collaborative filtering methods. An evaluation of AutoTag on a large collection of posts shows good...
Gilad Mishne
155
Voted
WWW
2006
ACM
16 years 7 months ago
Using semantic rules to determine access control for web services
Semantic Web technologies are bring increasingly employed to solve knowledge management issues in traditional Web technologies. This paper follows that trend and proposes using Se...
Brian Shields, Owen Molloy, Gerard Lyons, Jim Dugg...
POPL
2007
ACM
16 years 7 months ago
From implementation to theory in product synthesis
Future software development will rely on product synthesis, i.e., the synthesis of code and non-code artifacts for a target component or application. Prior work on feature-based p...
Don S. Batory