660 search results - page 57 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
210
click to vote
ISARCS
2010
15 years 8 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
164
click to vote
ICDAR
2009
IEEE
15 years 3 months ago
2009
IEEE
Standard cursive handwriting recognition is based on a language model, mostly a lexicon of possible word hypotheses or character n-grams. The result is a list of word alternatives...
192
click to vote
APIN
1998
15 years 5 months ago
1998
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
146
click to vote
ICECCS
1998
IEEE
15 years 10 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
179
click to vote
EDBT
2010
ACM
15 years 9 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...