11561 search results - page 290 / 2313 » A Language for Biochemical Systems |
194
click to vote
PET
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
147
click to vote
ICDAR
2003
IEEE
16 years 1 days ago
2003
IEEE
This paper presents particularly a contextual post processing subsystem for a Turkish machine printed character recognition system. The contextual post processing subsystem is bas...
163
click to vote
EURODAC
1994
IEEE
15 years 11 months ago
1994
IEEE
This paper describes two approaches to the automatic generation of behavioral VHDL models from descriptions written in natural language. Both approaches are based on a modeling st...
133
click to vote
EJIS
2008
15 years 6 months ago
2008
This study questions the traditional view of software architecture as a specification that needs only be understood by software architects and engineers. Based on an intensive stu...
171
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
: Performing dependability evaluation along with other analyses at architectural level allows both making architectural tradeoffs and predicting the effects of architectural decisi...