Sciweavers

3483 search results - page 217 / 697
» Forward
Sort
View
IWMM
1992
Springer
138views Hardware» more  IWMM 1992»
15 years 10 months ago
Incremental Collection of Mature Objects
Abstract. We present a garbage collection algorithm that extends generational scavenging to collect large older generations (mature objects) non-disruptively. The algorithm's ...
Richard L. Hudson, J. Eliot B. Moss
COMPSAC
2006
IEEE
15 years 10 months ago
An Improved Free-Roaming Mobile Agent Security Protocol against Colluded Truncation Attacks
This paper proposes an improved free-roaming mobile agent security protocol. The scheme uses "one hop backwards and two hops forwards" chain relation as the protocol cor...
Darren Xu, Lein Harn, Mayur Narasimhan, Junzhou Lu...
EUROSSC
2006
Springer
15 years 10 months ago
A Simulation Study of Integrated Service Discovery
The research in the field of service discovery in mobile ad-hoc networks is characterised by a lack of quantitative research. Many ideas have been put forward but few have been tes...
Gertjan P. Halkes, Aline Baggio, Koen Langendoen
CAV
2001
Springer
87views Hardware» more  CAV 2001»
15 years 10 months ago
Microarchitecture Verification by Compositional Model Checking
Compositional model checking is used to verify a processor microarchitecture containing most of the features of a modern microprocessor, including branch prediction, speculative ex...
Ranjit Jhala, Kenneth L. McMillan
MATA
2000
Springer
107views Communications» more  MATA 2000»
15 years 10 months ago
Active Networks for IPv6 Communication Redirection
In this article, we propose an Active Network mechanism based on IPv6 to forward communications. Indeed, with the use of the Internet Protocol improvements in its version 6, especi...
Mouhamadou Lamine Diagne, Thomas Noël, Jean-J...