12774 search results - page 213 / 2555 » A Framework for Proof Systems |
166
click to vote
ICECCS
1999
IEEE
15 years 11 months ago
1999
IEEE
Configuring and deploying a large software system is complicated when the system is composed of components and when there are numerous possible configurations for the system. In s...
165
click to vote
DATESO
2010
15 years 4 months ago
2010
Abstract. The today's applications usually form a system of sub-applications, each being responsible for a particular functionality. Hence, the design and maintenance of such ...
165
click to vote
EUSFLAT
2009
15 years 4 months ago
2009
The word Interpretability is becoming more and more frequent in the fuzzy literature. It is admitted as the main advantage of fuzzy systems and it should be given a main role in fu...
138
click to vote
ICASSP
2008
IEEE
16 years 1 months ago
2008
IEEE
This paper focuses on the uplink of multicell IEEE 802.16-d WiMax systems with OFDM modulation and antenna array at the base stations. We propose an analytical framework to assess...
163
click to vote
ITNG
2006
IEEE
16 years 18 days ago
2006
IEEE
Radio Frequency Identification (RFID) technology is considered to be the next step in the revolution of supplychain management, retail, and beyond. To derive real benefit from RFI...