Sciweavers

2227 search results - page 183 / 446
» Reversibility and Models for Concurrency
Sort
View
C3S2E
2009
ACM
15 years 10 months ago
A verification framework for access control in dynamic web applications
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
Manar H. Alalfi, James R. Cordy, Thomas R. Dean
ESANN
2007
15 years 8 months ago
Transition from initialization to working stage in biologically realistic networks
Natural cortical neurons form functional networks through a complex set of developmental steps. A key process in early development is the transition of the spontaneous network dyna...
Andreas Herzog, Karsten Kube, Bernd Michaelis, Ana...
BIOSYSTEMS
2008
84views more  BIOSYSTEMS 2008»
15 years 6 months ago
Decoding spike timing: The differential reverse-correlation method
It is widely acknowledged that detailed timing of action potentials is used to encode information, for example, in auditory pathways; however, the computational tools required to ...
Gasper Tkacik, Marcelo O. Magnasco
CVPR
2009
IEEE
1216views Computer Vision» more  CVPR 2009»
17 years 1 months ago
Marked Point Processes for Crowd Counting
A Bayesian marked point process (MPP) model is developed to detect and count people in crowded scenes. The model couples a spatial stochastic process governing number and placem...
Robert T. Collins, Weina Ge
SAC
2008
ACM
15 years 6 months ago
Collaborative software engineering on large-scale models: requirements and experience in ModelBus
This work presents an approach for realizing Model-Driven software engineering in the distributed and multi-developers context. It particularly focuses on the scalability problems...
Prawee Sriplakich, Xavier Blanc, Marie-Pierre Gerv...