10159 search results - page 438 / 2032 » System Design Validation Using Formal Models |
131
click to vote
ISCAS
2006
IEEE
15 years 10 months ago
2006
IEEE
—This paper presents an analog neuromimetic integrated circuit and an associated system dedicated for experiments of parameters extraction in biological neuron models. The IC bas...
152
click to vote
LOGCOM
1998
15 years 4 months ago
1998
The need for negotiation in multi-agent systems stems from the requirement for agents to solve the problems posed by their interdependence upon one another. Negotiation provides a...
159
click to vote
IEEECIT
2010
IEEE
15 years 3 months ago
2010
IEEE
—In this paper, we present a new spectrum-hole prediction model for cognitive radio (CR) systems based on the IEEE 802.11 wireless local areas networks. We have also analyzed the...
118
click to vote
ICSE
2005
IEEE-ACM
16 years 4 months ago
2005
IEEE-ACM
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
151
click to vote
JCP
2008
15 years 4 months ago
2008
With the wireless communications coming to homes and offices, the need to have secure data transmission is of utmost importance. Today, it is important that information is sent con...