Sciweavers

771 search results - page 94 / 155
» Concept Analysis - A New Framework for Program Understanding
Sort
View
MOBIHOC
2006
ACM
14 years 7 months ago
Performance analysis of mobility-assisted routing
Traditionally, ad hoc networks have been viewed as a connected graph over which end-to-end routing paths had to be established. Mobility was considered a necessary evil that inval...
Thrasyvoulos Spyropoulos, Konstantinos Psounis, Ca...
ICSE
2005
IEEE-ACM
14 years 8 months ago
Verifying safety policies with size properties and alias controls
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Cor...
CASCON
2003
120views Education» more  CASCON 2003»
13 years 9 months ago
Robust multilingual parsing using island grammars
Any attempt at automated software analysis or modification must be preceded by a comprehension step, i.e. parsing. This task, while often considered straightforward, can in fact ...
Nikita Synytskyy, James R. Cordy, Thomas R. Dean
ISMM
2009
Springer
14 years 2 months ago
Discrete Driver Assistance
Applying computer technology, such as computer vision in driver assistance, implies that processes and data are modeled as being discretized rather than being continuous. The area ...
Reinhard Klette, Ruyi Jiang, Sandino Morales, Tobi...
ICALT
2003
IEEE
14 years 1 months ago
Online Self-Assessment as a Learning Method
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...
Daniel Gayo-Avello, Hortensia Fernández-Cue...