2694 search results - page 78 / 539 » Frege's New Science |
199
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
Two important performance metrics in collaborative systems are local and remote response times. Previous analytical and simulation work has shown that these response times depend ...
188
click to vote
SOFSEM
2012
Springer
14 years 1 months ago
2012
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification against all environments. While modelchecking theory has led to...
154
click to vote
SIGCSE
2009
ACM
16 years 1 months ago
2009
ACM
Computer Science (CS) education researchers hope their research has real impact on teaching practices. Developers of innovative curricula and tools for CS education want teachers ...
151
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The science of complexity is based on a new way of thinking that stands in sharp contrast to the philosophy underlying Newtonian science, which is based on reductionism, determinis...
178
click to vote
COMPUTER
2007
15 years 6 months ago
2007
ems, using abstractions that actually remove physical constraints from consideration. At the other, embedded systems design goes beyond the traditional expertise of electrical engi...