Sciweavers

4917 search results - page 752 / 984
» Software Engineering is Not Computer Science
Sort
View
215
Voted
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
202
Voted
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...
218
Voted
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...
316
Voted
UPP
2004
Springer
16 years 11 days 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
289
Voted
SIGMOD
2005
ACM
141views Database» more  SIGMOD 2005»
16 years 7 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...