10916 search results - page 1867 / 2184 » On Constructive Connectives and Systems |
188
Voted
SCAM
2008
IEEE
16 years 1 months ago
2008
IEEE
Ensuring the correctness and reliability of software systems is one of the main problems in software development. Model checking, a static analysis method, is preponderant in impr...
171
Voted
WCNC
2008
IEEE
16 years 1 months ago
2008
IEEE
: Sensor management deals with the efficient resource allocation to meet mission objectives of the application, air traffic control. A schedule for the sensors is constructed, whic...
162
click to vote
WIMOB
2008
IEEE
16 years 1 months ago
2008
IEEE
—Wireless networking is currently dominated by radio frequency (RF) techniques. However, the soon-to-be ubiquity of LED-based lighting motivated by significant energy savings pro...
180
Voted
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
The evolution and existence of stable trust relations have been studied extensively in the context of social theory. However, reputation systems or trust schemes have only been re...
212
click to vote
COLCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
—In disaster areas, office buildings, or at home, multiple autonomous networked mobile robots may act instead of human beings. These robots have to move to their destination so ...