Sciweavers

6174 search results - page 172 / 1235
» The language of social software
Sort
View
IFIP
2000
Springer
15 years 10 months ago
Broadway: A Software Architecture for Scientific Computing
Scientific programs rely heavily on software libraries. This paper describes the limitations of this reliance and shows how it degrades software quality. We offer a solution that u...
Samuel Z. Guyer, Calvin Lin
DSML
2008
116views Formal Methods» more  DSML 2008»
15 years 8 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
Miguel Garcia
WWW
2007
ACM
16 years 7 months ago
OntoWiki: A Tool for Social, Semantic Collaboration
Abstract We present OntoWiki, a tool providing support for agile, distributed knowledge engineering scenarios. OntoWiki facilitates the visual presentation of a knowledge base as a...
Jens Lehmann, Sören Auer, Sebastian Dietzold,...
ACL
1993
15 years 7 months ago
Guiding an HPSG Parser using Semantic and Pragmatic Expectations
1 Efficient natural language generation has been successfully demonstrated using highly compiled knowledge about speech acts and their related social actions. A design and prototyp...
Jim Skon
TACAS
2007
Springer
103views Algorithms» more  TACAS 2007»
16 years 19 days ago
A Reachability Predicate for Analyzing Low-Level Software
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
Shaunak Chatterjee, Shuvendu K. Lahiri, Shaz Qadee...