4917 search results - page 524 / 984 » Software Engineering is Not Computer Science |
182
click to vote
EXACT
2008
15 years 10 months ago
2008
The representation and manipulation of natural human understanding of temporal phenomena is a fundamental field of study in Computer Science, which aims both to emulate human think...
197
click to vote
ICDCS
2003
IEEE
16 years 26 days ago
2003
IEEE
A range of database services are being offered on clusters of workstations today to meet the demanding needs of applications with voluminous datasets, high computational and I/O r...
168
click to vote
GECCO
2006
Springer
15 years 11 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
218
Voted
EMSOFT
2006
Springer
15 years 11 months ago
2006
Springer
We report on a case study in which the model checker Uppaal is used to formally model parts of Zeroconf, a protocol for dynamic configuration of IPv4 link-local addresses that has...
201
click to vote
CCECE
2006
IEEE
16 years 1 months ago
2006
IEEE
— Edge detection is a computer vision algorithm that is very processor intensive. It is possible to increase the speed of the algorithm by using hardware parallelism. This paper ...