1187 search results - page 23 / 238 » A Timed Calculus for Wireless Systems |
115
Voted
APSEC
2002
IEEE
15 years 8 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
117
Voted
IFM
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents a means of structuring specifications in real-time Object-Z: an integration of Object-Z with the timed refinement calculus. Incremental modification of classes ...
147
click to vote
WORDS
2005
IEEE
15 years 9 months ago
2005
IEEE
Wireless devices that communicate using the IEEE 802.11 protocol can be used to create mobile ad-hoc networks (MANETs). Many interesting applications using MANETs are realizable i...
162
Voted
EUROPAR
2003
Springer
15 years 8 months ago
2003
Springer
The growing success of wireless ad hoc networks and portable hardware devices presents many interesting problems to software engineers. Particular, coordination is a challenging t...
156
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we propose a new resource allocation mechanism which is designed to improve the multiuser detection of wireless network diversity multiple access (NDMA) protocol...