Sciweavers

1953 search results - page 116 / 391
» Dependability Modeling and Analysis in Dynamic Systems
Sort
View
SAS
2004
Springer
15 years 3 months ago
Spatial Analysis of BioAmbients
Abstract. Programming language technology can contribute to the development and understanding of Systems Biology by providing formal calculi for specifying and analysing the dynami...
Hanne Riis Nielson, Flemming Nielson, Henrik Pileg...
ECCV
2010
Springer
15 years 3 months ago
Dynamic Color Flow: A Motion-Adaptive Color Model for Object Segmentation in Video
Accurately modeling object colors, and features in general, plays a critical role in video segmentation and analysis. Commonly used color models, such as global Gaussian mixtures, ...
PERCOM
2007
ACM
15 years 9 months ago
Buddy tracking - efficient proximity detection among mobile friends
: Global positioning systems (GPS) and mobile phone networks are making it possible to track individual users with an increasing accuracy. It is natural to ask whether one can use ...
Arnon Amir, Alon Efrat, Jussi Myllymaki, Lingeshwa...
ISSRE
2006
IEEE
15 years 4 months ago
Memoized Forward Computation of Dynamic Slices
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
Wes Masri, Nagi Nahas, Andy Podgurski
WSC
1997
14 years 11 months ago
Before Dynamic Simulation: Systematic Layout Design from Scratch
Excellent production design and planning depends on accurate simulation of a high quality layout. A good layout project will always begin with an analysis of the production volume...
David P. Sly