2086 search results - page 330 / 418 » Mathematical Theory Exploration |
SIGCSE
2009
ACM
14 years 2 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 ...
WSDM
2009
ACM
14 years 2 months ago
2009
ACM
With the overwhelming number of reports on similar events originating from different sources on the web, it is often hard, using existing web search paradigms, to find the origi...
FMN
2009
Springer
14 years 2 months ago
2009
Springer
Multimedia applications in multihop wireless networks have great market potential. Multiple channels and multiple radios are commonly used for exploring multimedia transmissions in...
FOSAD
2009
Springer
14 years 2 months ago
2009
Springer
We introduce the Open-source Fixed-point Model Checker OFMC for symbolic security protocol analysis, which extends the Onthe-fly Model Checker (the previous OFMC). The native inpu...
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
Spreadsheet tools are often used in business and private scenarios in order to collect and store data, and to explore and analyze these data by executing functions and aggregation...