8008 search results - page 152 / 1602 » Computer-Aided Language Processing |
93
Voted
TSD
2007
Springer
15 years 8 months ago
2007
Springer
TSD
2007
Springer
15 years 8 months ago
2007
Springer
128
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Currently many different modeling languages are used for workflow definitions in BPM systems. Authors of this paper analyze the two most popular graphical languages, with highest p...
156
click to vote
DAC
2004
ACM
16 years 3 months ago
2004
ACM
Parametric representations used for symbolic simulation of circuits usually use BDDs. After a few steps of symbolic simulation, state set representation is converted from one para...
DAC
2005
ACM
16 years 3 months ago
2005
ACM
User authentication, which refers to the process of verifying the identity of a user, is becoming an important security requirement in various embedded systems. While conventional...