13383 search results - page 2501 / 2677 » Abstractions from proofs |
HICSS
2007
IEEE
14 years 5 months ago
2007
IEEE
Recently, Continua Health Alliance has brought together a powerhouse team, including Cisco, IBM, Motorola and others, for personal telehealth products and services. This team will...
IAT
2007
IEEE
14 years 5 months ago
2007
IEEE
Practical reasoning (PR), as advocated by philosophers is concerned by reasoning about what agents should do. It follows mainly two steps. A deliberation one for identifying the g...
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— In Multiple-Input Multiple-Output (MIMO) wireless systems, since different signals are transmitted by different antennas simultaneously, interference occurs between the...
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract—The Internet has witnessed a rapid growth in deployment of gossip-based protocol in many multicast applications. In a typical gossip-based protocol, each node independen...
ICC
2007
IEEE
14 years 5 months ago
2007
IEEE
Abstract— The composition of network management information is a feature widely required but not properly supported in traditional management technologies. In the last years, Web...