7758 search results - page 1148 / 1552 » On the Number of Distributive Lattices |
204
click to vote
ICFEM
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
202
Voted
ICSOC
2004
Springer
16 years 7 days ago
2004
Springer
The e-services paradigm promises to enable rich, flexible, and dynamic inter-operation of highly distributed, heterogeneous networkenabled services. Among the challenges, a funda...
204
click to vote
ICT
2004
Springer
16 years 7 days ago
2004
Springer
Array antennas have the potential to increase the capacity of wireless networks, but a distributed beamforming algorithm for maximizing the capacity in asynchronous, decentralized ...
197
Voted
IPTPS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract— Content sharing is a popular usage of peerto-peer systems for its inherent scalability and low cost of maintenance. In this paper, we leverage this nature of peer-to-pe...
150
click to vote
ISER
2004
Springer
16 years 6 days ago
2004
Springer
This paper presents a new four-limbed robot, LEMUR IIb (Legged Excursion Mechanical Utility Rover), that can free-climb vertical rock surfaces. This robot was designed to have a nu...