Sciweavers

2539 search results - page 391 / 508
» Debugging Method Names
Sort
View
BCS
2008
14 years 11 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
BDA
2007
14 years 11 months ago
A Framework for Distributed Spatial Indexing in Shared-Nothing Architectures
The paper presents a complete framework for spatial indexing support in a distributed setting. We consider a shared-nothing environment where a set of servers provides independent...
Cédric du Mouza, Witold Litwin, Philippe Ri...
COMMA
2008
14 years 11 months ago
Requirements for reflective argument visualization tools: A Case for Using Validity as a Normative Standard
This paper formulates in the first part some requirements for a certain sort of computational argumentation systems, namely those which are designed for a very specific purpose: to...
Michael H. G. Hoffmann
ICWSM
2010
14 years 11 months ago
Social Intellisense: A Task-Embedded Interface to Folksonomies
We present an application for accessing and creating socially constructed sets of information. Users store and retrieve information, such as bits of text, through the use of "...
Scott Counts, Kristie Fisher, Aaron Hoff
LREC
2010
166views Education» more  LREC 2010»
14 years 11 months ago
Large Scale Multilingual Broadcast Data Collection to Support Machine Translation and Distillation Technology Development
The development of technologies to address machine translation and distillation of multilingual broadcast data depends heavily on the collection of large volumes of material from ...
Kevin Walker, Christopher Caruso, Denise DiPersio