1403 search results - page 69 / 281 » Quantitative Interprocedural Analysis |
107
Voted
IROS
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract— Autonomous mobile robots are deployed in a variety of application domains, resulting in scenario specific implementations. However these systems share common component...
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper presents a quantitative threat modeling method, the Threat Modeling method based on Attack Path Analysis (T-MAP), which quantifies security threats by calculating the t...
118
click to vote
MATES
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents the language and software environment LEADSTO that has been developed to model and simulate the dynamics of Multi-Agent Systems (MAS) in terms of both qualitati...
105
Voted
DSD
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper presents a methodology for accurately characterizing the system calls of an operating system for embedded applications. Characterization consists of two phases: measure...
85
Voted
ICDM
2006
IEEE
15 years 6 months ago
2006
IEEE
In order to make good strategies, soccer coaches analyze the archives of matches, which can be effectively considered as a set of trajectories. We can extract several useful infor...