12023 search results - page 2243 / 2405 » The K-Rep System Architecture |
174
click to vote
ICFEM
2005
Springer
16 years 22 hour ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
170
click to vote
ICICS
2005
Springer
16 years 21 hour ago
2005
Springer
Software that covertly monitors a user’s actions, also known as spyware, has become a first-level security threat due to its ubiquity and the difficulty of detecting and remov...
201
click to vote
ICN
2005
Springer
16 years 20 hour ago
2005
Springer
Abstract. The Reliable Server Pooling (RSerPool) protocol suite currently under standardization by the IETF is designed to build systems providing highly available services by prov...
156
click to vote
LCPC
2005
Springer
16 years 9 hour ago
2005
Springer
Abstract. Many embedded systems use single-chip microcontrollers which have no on-chip RAM. In such a system, the processor registers must hold all live data values. Nanocontroller...
161
click to vote
OTM
2005
Springer
16 years 4 hour ago
2005
Springer
Abstract. The X Protocol, an asynchronous network protocol, was developed at MIT amid the need to provide a network transparent graphical user interface primarily for the UNIX Oper...