176 search results - page 10 / 36 » Analyzing Depth from Coded Aperture Sets |
112
click to vote
SP
2002
IEEE
14 years 11 months ago
2002
IEEE
We describe a method for finding security flaws in source code by way of static analysis. The method is notable because it allows a user to specify a wide range of security proper...
109
click to vote
RTAS
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents our tool set implementation for scenario-based multithreading of object-oriented realtime models and an accompanying experimental validation. Our tools enable ...
OOPSLA
2009
Springer
15 years 4 months ago
2009
Springer
In this paper we explore the idea that the code that constitutes a program actually forms a higher-level, program specific language. The symbols of the language are the abstracti...
MODELS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. A new trend in runtime system monitoring is to utilize MOFbased techniques in analyzing the runtime system data. Approaches and tools have been proposed to automatically ...
DSVIS
2003
Springer
15 years 4 months ago
2003
Springer
The way people use computers has changed in recent years, from desktop single-machine settings to many computers and personal assistants in widely different contexts. Personal Docu...