4128 search results - page 668 / 826 » Learning and using relational theories |
MOBICOM
2006
ACM
15 years 4 months ago
2006
ACM
RFID tags are being used in many diverse applications in increasingly large numbers. These capabilities of these tags span from very dumb passive tags to smart active tags, with t...
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
In the past decade outsourcing a software system’s support and maintenance has become relatively common across most organizations. In this paper we consider a few issues governi...
LCN
2005
IEEE
15 years 3 months ago
2005
IEEE
— The seminar work of Gupta and Kumar [1] showed that multi-hop wireless networks with capacity scalable with the number of nodes, n, are achievable in theory. The transport capa...
SAC
2005
ACM
15 years 3 months ago
2005
ACM
Large-scale supercomputing is revolutionizing the way science is conducted. A growing challenge, however, is understanding the massive quantities of data produced by largescale si...
83
Voted
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...