5506 search results - page 694 / 1102 » Visualizing Software Changes |
123
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
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...
165
click to vote
EDOC
2000
IEEE
15 years 9 months ago
2000
IEEE
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 ...
145
click to vote
AGI
2008
15 years 6 months ago
2008
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...
103
click to vote
ERSA
2007
15 years 6 months ago
2007
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...
120
Voted
BSDCON
2003
15 years 6 months ago
2003
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...