Sciweavers

2266 search results - page 186 / 454
» Some Solutions to the Ignoring Problem
Sort
View
CSMR
2007
IEEE
16 years 28 days ago
Supporting Reliable Software Evolution through Program Analysis
This paper motivates the need for more research to ensure a consistent level of reliability in software systems. We briefly outline the relevant developments that drive this need...
Cathal Boogerd
IPPS
2007
IEEE
16 years 26 days ago
Management of Virtual Machines on Globus Grids Using GridWay
Virtual machines are a promising technology to overcome some of the problems found in current Grid infrastructures, like heterogeneity, performance partitioning or application iso...
Antonio J. Rubio-Montero, Eduardo Huedo, Rub&eacut...
TABLEAUX
2007
Springer
16 years 20 days ago
Tree-Sequent Methods for Subintuitionistic Predicate Logics
Subintuitionistic logics are a class of logics defined by using Kripke models with more general conditions than those for intuitionistic logic. In this paper we study predicate lo...
Ryo Ishigaki, Kentaro Kikuchi
ITICSE
2006
ACM
16 years 16 days ago
Identifying novice difficulties in object oriented design
We report on a study of novice programmers’ object oriented class designs. These designs were analysed to discover what faults they displayed. The two most common faults related...
Benjy J. Thomasson, Mark Ratcliffe, Lynda Thomas
ISSADS
2005
Springer
16 years 2 days ago
Overview the Key Management in Ad Hoc Networks
The aim of this paper is to show some solutions for key management in ad hoc networks. The major problem in providing security services in such infrastructure less networks is how...
Gerardo del Valle, Roberto Gómez Cár...