2841 search results - page 174 / 569 » A Call to Order |
119
Voted
WOWMOM
2006
ACM
16 years 1 months ago
2006
ACM
In Korea, a large-scale IEEE 802.11b-based public wireless LAN (WLAN) service, called NESPOT, has been in operation by Korea Telecom (KT) across the country during the last four y...
163
click to vote
APSEC
2005
IEEE
16 years 21 days ago
2005
IEEE
— In this paper, we present a temporal logic called F whose interpretation is over Input Output Symbolic Transition Systems (IOSTS). IOSTS extend transition systems to communicat...
190
click to vote
APSEC
2005
IEEE
16 years 21 days ago
2005
IEEE
Automotive software systems are becoming increasingly complex, driven both by advances in technology and by demands for more powerful applications. The design of such complex syst...
150
Voted
COMPSAC
2005
IEEE
16 years 21 days ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
168
click to vote
DSD
2005
IEEE
16 years 20 days ago
2005
IEEE
It is a challenge to provide an efficient healthcare service for countries with continental dimensions. Mechanisms for a more efficient and better attendance of patients are nec...