Sciweavers

4917 search results - page 752 / 984
» Software Engineering is Not Computer Science
Sort
View
BCS
2008
15 years 8 months ago
Tools for Traceable Security Verification
Dependable systems evolution has been identified by the UK Computing Research Committee (UKCRC) as one of the current grand challenges for computer science. We present work toward...
Jan Jürjens, Yijun Yu, Andreas Bauer 0002
USENIX
2004
15 years 8 months ago
Xen and the Art of Repeated Research
Xen is an x86 virtual machine monitor produced by the University of Cambridge Computer Laboratory and released under the GNU General Public License. Performance results comparing ...
Bryan Clark, Todd Deshane, Eli Dow, Stephen Evanch...
PRESENCE
2002
194views more  PRESENCE 2002»
15 years 6 months ago
Explorations in the Use of Augmented Reality for Geographic Visualization
In this paper we describe two explorations in the use of hybrid user interfaces for collaborative geographic data visualization. Our first interface combines three technologies; A...
Nicholas R. Hedley, Mark Billinghurst, Lori Postne...
UPP
2004
Springer
15 years 12 months ago
Inverse Design of Cellular Automata by Genetic Algorithms: An Unconventional Programming Paradigm
Evolving solutions rather than computing them certainly represents an unconventional programming approach. The general methodology of evolutionary computation has already been know...
Thomas Bäck, Ron Breukelaar, Lars Willmes
SIGMOD
2005
ACM
141views Database» more  SIGMOD 2005»
16 years 6 months ago
XML database support for distributed execution of data-intensive scientific workflows
In this paper we look at the application of XML data management support in scientific data analysis workflows. We describe a software infrastructure that aims to address issues as...
Shannon Hastings, Matheus Ribeiro, Stephen Langell...