Sciweavers

5838 search results - page 869 / 1168
» A File System for System Programming in Ubiquitous Computing
Sort
View
AMC
2007
168views more  AMC 2007»
15 years 4 months ago
The method of lines for the numerical solution of a mathematical model for capillary formation: The role of tumor angiogenic fac
In this paper we present the method of lines for the numerical solution of a mathematical model for capillary formation in two space dimensions x,y. We study the tumor angiogenic ...
Arzu Erdem, Serdal Pamuk
IEEEARES
2009
IEEE
15 years 2 months ago
Quantitative Analysis of Secure Information Flow via Probabilistic Semantics
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
Chunyan Mu, David Clark
IJPRAI
2010
105views more  IJPRAI 2010»
15 years 2 months ago
An Ontology-Based Model for Representing Image Processing Application Objectives
This paper investigates what kinds of information are necessary and sufficient to design and evaluate image processing software programs and proposes a representation of these inf...
Régis Clouard, Arnaud Renouf, Marinette Rev...
SIGCSE
2009
ACM
150views Education» more  SIGCSE 2009»
16 years 5 months ago
Dereferee: exploring pointer mismanagement in student code
Dynamic memory management and the use of pointers are critical topics in teaching the C++ language. They are also some of the most difficult for students to grasp properly. The re...
Anthony Allevato, Manuel A. Pérez-Qui&ntild...
COORDINATION
2009
Springer
16 years 5 months ago
Multicore Scheduling for Lightweight Communicating Processes
Process-oriented programming is a design methodology in which software applications are constructed from communicating concurrent processes. A process-oriented design is typically ...
Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes