4386 search results - page 221 / 878 » A Tamper-Resistant Programming Language System |
120
click to vote
ILP
2007
Springer
15 years 8 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
118
Voted
ISSTA
2006
ACM
15 years 7 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
112
click to vote
ICDAR
2009
IEEE
15 years 8 months ago
2009
IEEE
This paper describes a system for handwritten Chinese text recognition integrating language model. On a text line image, the system generates character segmentation and word segme...
157
Voted
TACAS
1998
Springer
15 years 6 months ago
1998
Springer
Relay Ladder Logic (RLL) [4] is a programming language widely used for complex embedded control applications such as manufacturing and amusement park rides. The cost of bugs in RLL...
138
click to vote
DSD
2010
IEEE
15 years 2 months ago
2010
IEEE
Due to the various devices composing a smart camera system, various languages have to be known by the designer (like HDL and C/C++). Most of vision applications designers are soft...