2741 search results - page 213 / 549 » Engineering Mathematical Knowledge |
106
click to vote
INFORMATICALT
2010
15 years 1 months ago
2010
The DPLL procedure for the SAT problem is one of the fundamental algorithms in computer science, with many applications in a range of domains, including software and hardware veri...
134
Voted
JOI
2010
15 years 1 months ago
2010
This paper introduces a new approach to describe the spread of research topics across disciplines using epidemic models. The approach is based on applying individual-based models ...
141
click to vote
EUROPKI
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. An electronic signature is considered to be valid, if the signature is mathematically correct and if the signer's public key is classified as authentic. While the fi...
136
click to vote
AGI
2011
14 years 7 months ago
2011
Extraordinary structural organization known as emergence is observed in partially ordered sets when a recently discovered functional is minimized. Emergence creates the first stru...
125
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
In computer science curricula the two areas programming and software engineering are usually separated. In programming students learn an object oriented language and then deepen t...