854 search results - page 79 / 171 » Addressing Dynamic Issues of Program Model Checking |
137
Voted
BMVC
2000
15 years 3 months ago
2000
This paper presents a framework for directly addressing issues arising from self-occlusions and ambiguities due to the lack of depth information in vector-based representations. V...
154
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: Microarray technology is a powerful and widely accepted experimental technique in molecular biology that allows studying genome wide transcriptional responses. However...
107
Voted
USS
2004
15 years 3 months ago
2004
Buffer overflow exploits make use of the treatment of strings in C as character arrays rather than as first-class objects. Manipulation of arrays as pointers and primitive pointer...
120
click to vote
DEXAW
2005
IEEE
15 years 8 months ago
2005
IEEE
Software organizations follow capability models in order to aggregate quality to their processes and products. Process measurement and analysis are key issues, but their implement...
99
Voted
PERCOM
2007
ACM
16 years 2 months ago
2007
ACM
MundoCore is a communication middleware specifically designed for the requirements of pervasive computing. To address the high degree of heterogeneity of platforms and networking ...