5506 search results - page 695 / 1102 » Visualizing Software Changes |
153
click to vote
DAGSTUHL
2003
15 years 6 months ago
2003
We have studied modular self-reconfigurable robots that are capable of changing their overall shape and functionality by automatic recombination of homogenous robotic modules. Our ...
120
click to vote
CMG
2000
15 years 6 months ago
2000
The Windows 2000 operating system brought considerable changes to the capabilities and configuration options of the I/O subsystem over those available with the Windows NT operatin...
126
click to vote
SSR
1997
15 years 6 months ago
1997
This paper describes a methodology for designing Open Implementations -- software modules that can adapt or change their internals to accommodate the needs of different clients. A...
107
click to vote
CORR
2008
Springer
15 years 5 months ago
2008
Springer
This paper proposes a theory of encapsulation, taking the internationally standardized definition of that term and establishing a relationship between subsets and the elements tha...
147
click to vote
FAC
2008
15 years 5 months ago
2008
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z/Eves theorem prover. We took a conservative approach ...