813 search results - page 147 / 163 » Correctness Properties for Multiagent Systems |
129
Voted
IPSN
2007
Springer
15 years 9 months ago
2007
Springer
Many sensor nodes contain resource constrained microcontrollers where user level applications, operating system components, and device drivers share a single address space with no...
88
Voted
TSP
2008
15 years 3 months ago
2008
This paper studies the blind block synchronization problem in block transmission systems using linear redundant precoders (LRP). Two commonly used LRP systems, namely, zero padding...
124
click to vote
PAM
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. To describe, analyze, and model the topological and structural characteristics of the Internet, researchers use Internet maps constructed at the router or autonomous syst...
143
Voted
ISCC
2005
IEEE
15 years 9 months ago
2005
IEEE
Location awareness is an attractive research issue in the wireless sensor network (WSN). However, precise location information may be unavailable due to the constraint in energy, ...
134
Voted
CF
2005
ACM
15 years 5 months ago
2005
ACM
Result checking is the theory and practice of proving that the result of an execution of a program on an input is correct. Result checking has most often been envisioned in the fr...