Sciweavers

348 search results - page 42 / 70
» Leveraging Inconsistency in Software Development
Sort
View
INFOCOM
2006
IEEE
14 years 1 months ago
Improving Lookup Performance Over a Widely-Deployed DHT
— During recent years, Distributed Hash Tables (DHTs) have been extensively studied by the networking community through simulation and analysis, but until recently were not adopt...
Daniel Stutzbach, Reza Rejaie
IUI
2005
ACM
14 years 1 months ago
Animating an interactive conversational character for an educational game system
Within the framework of the project NICE (Natural Interactive Communication for Edutainment) [2], we have been developing an educational and entertaining computer game that allows...
Andrea Corradini, Manish Mehta, Niels Ole Bernsen,...
UML
2004
Springer
14 years 26 days ago
Supporting Model Refactorings Through Behaviour Inheritance Consistencies
Abstract. This paper addresses the problem of consistency preservation in model-driven software development. Software models typically embody many different views that need to be ...
Ragnhild Van Der Straeten, Viviane Jonckers, Tom M...
ECLIPSE
2007
ACM
13 years 9 months ago
CReN: a tool for tracking copy-and-paste code clones and renaming identifiers consistently in the IDE
Programmers often copy and paste code so that they can reuse the existing code to complete a similar task. Many times, modifications to the newly pasted code include renaming all ...
Patricia Jablonski, Daqing Hou
SLOGICA
2011
13 years 2 months ago
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...
Ofer Arieli, Arnon Avron, Anna Zamansky