4919 search results - page 840 / 984 » A Process-Ontological Model for Software Engineering |
NJC
2006
14 years 10 months ago
2006
Slicing is a technique for extracting parts of programs or specifications with respect to certain criteria of interest. The extraction is carried out in such a way that properties ...
CORR
2004
Springer
14 years 10 months ago
2004
Springer
: Computational grids that couple geographically distributed resources are becoming the de-facto computing platform for solving large-scale problems in science, engineering, and co...
116
click to vote
Publication
We present an online learning approach for robustly combining unreliable
observations from a pedestrian detector to estimate the rough 3D scene geometry
from video sequences of a...
FOSSACS
2010
Springer
15 years 5 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
traction for Reduced ML Andrzej S. Murawski and Nikos Tzevelekos Oxford University Computing Laboratory Wolfson Building, Parks Road, Oxford OX1 3QD, UK We present the first effe...