657 search results - page 11 / 132 » A Version Numbering Scheme with a Useful Lexicographical Ord... |
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— In this paper an approach to reduce nonlinear non-observable and non-strongly accessible port-Hamiltonian systems to an observable and strongly accessible portHamiltonian syste...
LATIN
2000
Springer
13 years 11 months ago
2000
Springer
The Flexible Job Shop problem is a generalization of the classical job shop scheduling problem in which for every operation there is a group of machines that can process it. The p...
SIGMOD
1995
ACM
13 years 11 months ago
1995
ACM
This paper describes an efficient optimistic concurrency control scheme for use in distributed database systems in which objects are cached and manipulated at client machines whil...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—SIGMA is an IP diversity-based mobility management scheme that aims to reduce handoff latency and packet loss of Mobile IP. In this paper, we propose a power-aware versi...
JACM
2007
13 years 7 months ago
2007
This paper extends the termination proof techniques based on reduction orderings to a higher-order setting, by defining a family of recursive path orderings for terms of a typed ...