Sciweavers

3069 search results - page 115 / 614
» Thinking about Technology
Sort
View
175
Voted
FTCS
1998
144views more  FTCS 1998»
15 years 6 months ago
Improving Software Robustness with Dependability Cases
Programs fail mainly for two reasons: logic errors in the code, and exception failures. Exception failures can account for up to 2/3 of system crashes [6], hence are worthy of ser...
Roy A. Maxion, Robert T. Olszewski
CSE
2009
IEEE
15 years 6 months ago
Social Relationship Identification: An Example of Social Query
Every moment, millions of people worldwide are communicating and sharing content online. We express ourselves online to enrich existing relationships and establish new relationship...
Christopher P. Diehl, Jaime Montemayor, Michael Pe...
135
Voted
C5
2007
IEEE
15 years 5 months ago
DR. GEO II: Adding Interactivity Planes in Interactive Dynamic Geometry
Interactive geometry environments support the creation and exploitation of interactive geometric sketches. However, such environments are often driven in a rigid manner, following...
Hilaire Fernandes, Stéphane Ducasse, Thibau...
CORR
2010
Springer
111views Education» more  CORR 2010»
15 years 5 months ago
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Abstract. Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amou...
Guido de Caso, Diego Garbervetsky, Daniel Gor&iacu...
COMPUTER
2006
90views more  COMPUTER 2006»
15 years 5 months ago
Visualizing Information on Mobile Devices
Visualization has a relevant role in almost every domain of computer applications. It is thus natural to think about bringing visualization techniques to mobile devices (such as P...
Luca Chittaro