11561 search results - page 145 / 2313 » A Language for Biochemical Systems |
160
click to vote
TACAS
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Intermediate languages are a paradigm to separate concerns in software verification systems when bridging the gap between programming languages and the logics understood ...
150
click to vote
ACSAC
2001
IEEE
15 years 9 months ago
2001
IEEE
Traditionally, intrusion detection systems detect intrusions at the operating system (OS) level. In this paper we explore the possibility of detecting intrusion at the application...
146
click to vote
IWPC
2003
IEEE
15 years 11 months ago
2003
IEEE
Many applications have one or more important modules that are written in a language other than conventional procedural or object oriented languages. These languages are often tran...
153
click to vote
MDAI
2005
Springer
15 years 11 months ago
2005
Springer
As dialogue systems are widely demanded, the research on natural language generation in dialogue has raised interest. Contrary to conventional dialogue systems that reply to the us...
121
click to vote
ICSEA
2007
IEEE
16 years 10 days ago
2007
IEEE
The integration of query languages and programming languages is still a central problem of database research. In particular, issues with respect to the impedance mismatch are of i...