4209 search results - page 579 / 842 » Software Change and Evolution |
150
click to vote
CMG
2000
15 years 8 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...
155
click to vote
SSR
1997
15 years 8 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...
139
click to vote
CORR
2008
Springer
15 years 6 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...
184
click to vote
FAC
2008
15 years 6 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 ...
176
click to vote
CN
2007
15 years 6 months ago
2007
Since the turn of the century, smart card technology has pushed its borders both on the high end to integrate new functionalities (e.g., networking) and on the low end to adapt to...