2740 search results - page 236 / 548 » A Model-Based Approach To Requirements Analysis |
125
Voted
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Security decision-making is hard for both humans and machines. This is because security decisions are context-dependent, require highly dynamic, specialized knowledge, and require...
154
click to vote
ICDAR
2003
IEEE
15 years 9 months ago
2003
IEEE
This paper presents a lexical post-processing optimization for handwritten word recognition. The aim of this work is to explore the combination of different lexical postprocessing...
130
click to vote
PLDI
2000
ACM
15 years 8 months ago
2000
ACM
This paper presents a static race detection analysis for multithreaded Java programs. Our analysis is based on a formal type system that is capable of capturing many common synchr...
129
click to vote
ICDAR
1997
IEEE
15 years 8 months ago
1997
IEEE
An algorithm is presented that allows to perform skeletonization of large maps with much lower memory requirements than with the straightforward approach. The maps are divided int...
131
click to vote
HT
2007
ACM
15 years 7 months ago
2007
ACM
Customers are driving down lead times for software, especially for Web applications, to only a few months. While a number of hypertext design models exist, they do not address the...