10038 search results - page 1773 / 2008 » Model Checking for Managers |
120
click to vote
VTC
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract—Group-orthogonal multicarrier code-division multiple access (GO-MC-CDMA) has been proposed as a multiplexing technique for the uplink segment of wireless systems. The di...
140
click to vote
WCRE
2007
IEEE
15 years 11 months ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
132
click to vote
WETICE
2007
IEEE
15 years 11 months ago
2007
IEEE
In this paper, we present emerging team forms, which are classified into Nimble, Virtual, and Mobile teams. Based on this classification, we present a systematic analysis of speci...
168
Voted
AMS
2007
Springer
15 years 11 months ago
2007
Springer
Autonomous robots that can adapt to novel situations has been a long standing vision of robotics, artificial intelligence, and cognitive sciences. Early approaches to this goal du...
147
Voted
CIT
2007
Springer
15 years 11 months ago
2007
Springer
IEEE 802.11 based wireless LANs (WLAN) are ubiquitous nowadays. Running real time voice and video applications over LANs is becoming common place. These applications require QoS i...