Sciweavers

4897 search results - page 628 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
CONCURRENCY
2010
127views more  CONCURRENCY 2010»
15 years 6 months ago
Formation of virtual organizations in grids: a game-theoretic approach
Applications require the composition of resources to execute in a grid computing environment. The Grid Service Providers (GSPs), the owners of the computational resources, must for...
Thomas E. Carroll, Daniel Grosu
ECCV
2008
Springer
16 years 8 months ago
Scene Segmentation for Behaviour Correlation
Abstract. This paper presents a novel framework for detecting abnormal pedestrian and vehicle behaviour by modelling cross-correlation among different co-occurring objects both loc...
Jian Li, Shaogang Gong, Tao Xiang
SPIN
2000
Springer
15 years 10 months ago
A Language Framework for Expressing Checkable Properties of Dynamic Software
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
James C. Corbett, Matthew B. Dwyer, John Hatcliff,...
SAC
2008
ACM
15 years 6 months ago
Test generation and minimization with "basic" statecharts
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
Fevzi Belli, Axel Hollmann
SCALESPACE
2001
Springer
15 years 11 months ago
Scale-Time Kernels and Models
Receptive field sensitivity profiles of visual front-end cells in the LGN and V1 area in intact animals can be measured with increasing accuracy, both in the spatial and temporal...
Bart M. ter Haar Romeny, Luc Florack, Mads Nielsen