1091 search results - page 184 / 219 » The State of Cognitive Systems Engineering |
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In this and the associated article BioBlender: A Software for Intuitive Representation of Surface Properties of Biomolecules [1], we present BioBlender as a complete instrument fo...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
Real-time, reactive, and embedded systems are increasingly used throughout society (e.g., flight control, railway signaling, vehicle management, medical devices, and many others)....
PPDP
2007
Springer
14 years 2 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
WOSP
2010
ACM
14 years 2 months ago
2010
ACM
Virtualization has been shown to be an attractive path to increase overall system resource utilization. The use of live virtual machine (VM) migration has enabled more effective ...
EDBT
2010
ACM
14 years 1 months ago
2010
ACM
The creation of a generic and modular query optimization and processing infrastructure can provide significant benefits to XML data management. Key pieces of such an infrastructur...