5252 search results - page 339 / 1051 » Logic in Access Control |
238
click to vote
TACAS
1998
Springer
15 years 12 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
184
click to vote
ICCAD
2003
IEEE
16 years 4 months ago
2003
IEEE
A new technique for the logic synthesis of asynchronous circuits is presented. It is based on the structural theory of Petri nets and integer linear programming. The technique is ...
201
click to vote
EUSFLAT
2003
15 years 9 months ago
2003
The article deals with the possible methodology of processing of data and information for the search of prediction of heat supply daily diagram (HSDD). The methodology includes te...
236
click to vote
EUSFLAT
2007
15 years 9 months ago
2007
At present time configurable wireless sensor networks are given special consideration. Wireless sensor networks are now a static elements union. To make such a network a powerful ...
228
click to vote
SIGCOMM
2005
ACM
16 years 1 months ago
2005
ACM
We consider wireless LANs such as IEEE 802.11 operating in the unlicensed radio spectrum. While their nominal bit rates have increased considerably, the MAC layer remains practica...