5707 search results - page 880 / 1142 » Symbolic Simulation - Techniques and Applications |
164
click to vote
TLCA
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
215
click to vote
UIC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. The coverage problem in wireless sensor networks (WSNs) is to determine the number of active sensor nodes needed to cover the sensing area. The purpose is to extend the l...
212
click to vote
WAIM
2007
Springer
16 years 23 days ago
2007
Springer
The rapid progress of wireless communication and embedded micro sensing technologies has made wireless sensor networks possible. Target tracking is an important application of wire...
200
click to vote
AHS
2006
IEEE
16 years 22 days ago
2006
IEEE
Recent development of Wireless Sensor Networks (WSN) has led to the appearance of many application specific communication protocols which must be energy-efficient. Among those pro...
168
click to vote
BROADNETS
2006
IEEE
16 years 22 days ago
2006
IEEE
— We introduce a new algorithmic framework for advanced channel reservation in ultra high speed networks, called Graded Channel Reservation (GCR). GCR allows users to specify min...