3299 search results - page 443 / 660 » A general mathematics of names |
124
click to vote
ICSM
2007
IEEE
16 years 25 days ago
2007
IEEE
Large object-oriented applications are structured over large number of packages. Packages are important but complex structural entities that may be difficult to understand since ...
177
click to vote
IJCNN
2007
IEEE
16 years 25 days ago
2007
IEEE
— Serious efforts to develop computerized systems for natural language understanding and machine translation have taken place for more than half a century. Some successful system...
223
click to vote
INFOCOM
2007
IEEE
16 years 25 days ago
2007
IEEE
— In this paper, we propose and study a general framework that allows the development of distributed mechanisms to achieve full utilization of multi-hop wireless networks. In par...
202
click to vote
LICS
2007
IEEE
16 years 25 days ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
183
click to vote
TASE
2007
IEEE
16 years 24 days ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...