Sciweavers

4307 search results - page 531 / 862
» Dynamic Spyware Analysis
Sort
View
148
Voted
CADE
2010
Springer
15 years 5 months ago
A Slice-Based Decision Procedure for Type-Based Partial Orders
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
Elena Sherman, Brady J. Garvin, Matthew B. Dwyer
116
Voted
DOCENG
2010
ACM
15 years 5 months ago
Linking data and presentations: from mapping to active transformations
Modern GUI toolkits, and especially RIA ones, propose the concept of binding to dynamically link domain data and their presentations. Bindings are very simple to use for predefine...
Olivier Beaudoux, Arnaud Blouin
AUTOMATICA
2008
95views more  AUTOMATICA 2008»
15 years 4 months ago
Uniform semiglobal practical asymptotic stability for non-autonomous cascaded systems and applications
It is due to the modularity they provide that results for cascaded systems have proved their utility in numerous control applications as well as in the development of general cont...
Antoine Chaillet, Antonio Loría
CORR
2010
Springer
139views Education» more  CORR 2010»
15 years 4 months ago
Link creation and profile alignment in the aNobii social network
The present work investigates the structural and dynamical properties of aNobii1 , a social bookmarking system designed for readers and book lovers. Users of aNobii provide informa...
Luca Maria Aiello, Alain Barrat, Ciro Cattuto, Gia...
135
Voted
IJON
2007
83views more  IJON 2007»
15 years 4 months ago
Phase synchronization between LFP and spiking activity in motor cortex during movement preparation
A common approach to measure and assess cortical dynamics focuses on the analysis of mass signals, such as the local field potential (LFP), as an indicator for the underlying net...
Michael Denker, Sébastien Roux, Marc Timme,...