Sciweavers

SIGSOFT
2010
ACM
13 years 9 months ago
The overture initiative integrating tools for VDM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
Peter Gorm Larsen, Nick Battle, Miguel Ferreira, J...
SIGOPS
2010
89views more  SIGOPS 2010»
13 years 9 months ago
Incremental learning of system log formats
System logs come in a large and evolving variety of formats, many of which are semi-structured and/or non-standard. As a consequence, off-the-shelf tools for processing such logs ...
Kenny Qili Zhu, Kathleen Fisher, David Walker
OOPSLA
2010
Springer
13 years 9 months ago
Teaching and training developer-testing techniques and tool support
Developer testing is a type of testing where developers test their code as they write it, as opposed to testing done by a separate quality assurance organization. Developer testin...
Tao Xie, Jonathan de Halleux, Nikolai Tillmann, Wo...
LREC
2010
155views Education» more  LREC 2010»
13 years 10 months ago
Virtual Language Observatory: The Portal to the Language Resources and Technology Universe
Over the years, the field of Language Resources and Technology (LRT) has developed a tremendous amount of resources and tools. However, there is no ready-to-use map that researche...
Dieter Van Uytvanck, Claus Zinn, Daan Broeder, Pet...
JUCS
2010
183views more  JUCS 2010»
13 years 10 months ago
User Context and Personalized Learning: a Federation of Contextualized Attention Metadata
: Nowadays, personalized education is a very hot topic in technology enhanced learning (TEL) research. To support students during their learning process, the first step consists in...
Valentin Butoianu, Philippe Vidal, Katrien Verbert...
JSS
2010
107views more  JSS 2010»
13 years 10 months ago
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
Kiran Lakhotia, Phil McMinn, Mark Harman
IVA
2010
Springer
13 years 10 months ago
Making It Personal: End-User Authoring of Health Narratives Delivered by Virtual Agents
We describe a design study in which five different tools are compared for end-user authoring of personal stories to be told by an embodied conversational agent. The tools provide v...
Timothy W. Bickmore, Lazlo Ring
SCFBM
2008
91views more  SCFBM 2008»
13 years 11 months ago
Simple tools for assembling and searching high-density picolitre pyrophosphate sequence data
Background: The advent of pyrophosphate sequencing makes large volumes of sequencing data available at a lower cost than previously possible. However, the short read lengths are d...
Nicolas J. Parker, Andrew G. Parker
PUC
2008
81views more  PUC 2008»
13 years 11 months ago
Using job-shop scheduling tasks for evaluating collocated collaboration
Researchers have begun to explore tools that allow multiple users to collaborate across multiple devices in collocated environments. These tools often allow users to simultaneously...
Desney S. Tan, Darren Gergle, Regan L. Mandryk, Ko...
TSE
1998
78views more  TSE 1998»
13 years 11 months ago
Inconsistency Management for Multiple-View Software Development Environments
Developers need tool support to help manage the wide range of inconsistencies that occur during software development. Such tools need to provide developers with ways to define, de...
John C. Grundy, John G. Hosking, Warwick B. Mugrid...