Sciweavers

2379 search results - page 305 / 476
» Computer Science in the Information Age
Sort
View
CORR
2011
Springer
176views Education» more  CORR 2011»
14 years 11 months ago
Quantitative Synthesis for Concurrent Programs
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
Pavol Cerný, Krishnendu Chatterjee, Thomas ...
DLOG
2003
15 years 6 months ago
Conceptual Modeling with Description Logics
The purpose of the chapter is to help someone familiar with DLs to understand the issues involved in developing an ontology for some universe of discourse, which is to become a co...
Alexander Borgida, Ronald J. Brachman
88
Voted
CHI
2009
ACM
16 years 5 months ago
Body-based interaction for desktop games
Interaction for desktop games is mostly limited to keyboard and mouse input. We are investigating the benefits of adding body-based interaction to complement keyboard and mouse in...
Mara G. Silva, Doug A. Bowman
IPPS
2008
IEEE
15 years 11 months ago
Providing security to the Desktop Data Grid
Volunteer Computing is becoming a new paradigm not only for the Computational Grid, but also for institutions using production-level Data Grids because of the enormous storage pot...
Jesus Luna, Michail Flouris, Manolis Marazakis, An...
346
Voted

Book
1331views
17 years 3 months ago
Spatial Reasoning: Theory and Practice
"Spatial structures and spatial reasoning are essential to perception and cognition. Much day-to-day practical information is about what happens at certain spatial locations....
M. Aiello