4767 search results - page 151 / 954 » Structures for Abstract Rewriting |
137
click to vote
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
113
click to vote
WETICE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—DHT systems are structured overlay networks capable of using P2P resources as a scalable platform for very large data storage applications. However, their efficiency ex...
ICRA
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract— In this paper, we describe the design of a deformable robot with a tensegrity structure that can crawl and we show the results of experiments showing the ability of the...
93
Voted
IFM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Event-B provides a flexible approach to modelling and refinement of systems. In this paper we outline two important ways in which Event-B refinement can be augmented w...
124
click to vote
IH
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper draws together two methodologies for the detection of bit replacement steganography: the principle of maximum likelihood, which is statistically well-founded b...