660 search results - page 57 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
164
click to vote
ISARCS
2010
15 years 4 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...
117
click to vote
ICDAR
2009
IEEE
15 years 9 days 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...
138
Voted
APIN
1998
15 years 2 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...
103
click to vote
ICECCS
1998
IEEE
15 years 6 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...
140
Voted
EDBT
2010
ACM
15 years 5 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...