11561 search results - page 219 / 2313 » A Language for Biochemical Systems |
302
click to vote
PLDI
2009
ACM
16 years 7 months ago
2009
ACM
Reasoning about string variables, in particular program inputs, is an important aspect of many program analyses and testing frameworks. Program inputs invariably arrive as strings...
192
click to vote
AIED
2007
Springer
16 years 25 days ago
2007
Springer
In this paper, we describe a Web-based spoken translation game aimed at providing language learners with an easily accessible and fun environment to practice speaking the foreign l...
163
click to vote
COMPSAC
2005
IEEE
16 years 8 days ago
2005
IEEE
To protect software against malicious activities, organizations are required to monitor security breaches. Intrusion Detection Systems (IDS) are those kinds of monitoring tools th...
171
click to vote
CLEF
2005
Springer
16 years 5 days ago
2005
Springer
Free on-line machine translation systems are employed more and more by Internet users. In this paper we have explored the use of these systems for Cross-Language Question Answering...
184
click to vote
POLICY
2001
Springer
15 years 11 months ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...