Sciweavers

5506 search results - page 694 / 1102
» Visualizing Software Changes
Sort
View
GI
2009
Springer
15 years 9 months ago
True Lies: Lazy Contracts for Lazy Languages
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
Markus Degen, Peter Thiemann, Stefan Wehr
EDOC
2000
IEEE
15 years 9 months ago
Wireless Java RMI
Due to its high protocol overhead, both in data traffic and in round-trips, Java RMI is poorly suited for communication over slow wireless links. However, its performance can be ...
Stefano Campadello, Oskari Koskimies, Kimmo E. E. ...
AGI
2008
15 years 6 months ago
Open Source AI
Machines significantly more intelligent than humans will require changes in our legal and economic systems in order to preserve something of our human values. An open source design...
Bill Hibbard
ERSA
2007
88views Hardware» more  ERSA 2007»
15 years 6 months ago
Autonomous Computing Systems: A Proposed Roadmap
An autonomous computing system is a system that functions with a large degree of independence, and assumes a large amount of responsibility for its own resources and operation. As...
Neil Steiner, Peter Athanas
120
Voted
BSDCON
2003
15 years 6 months ago
build.sh: Cross-building NetBSD
NetBSD has a cross build infrastructure which allows cross-building of an entire NetBSD release including bootable distribution media. The build process does not require root priv...
Luke Mewburn, Matthew Green