741 search results - page 133 / 149 » A Local System for Classical Logic |
SCP
2010
13 years 7 months ago
2010
The SPIN model checker and its specification language Promela have been used extensively in industry and academia to check logical properties of distributed algorithms and protoc...
SYSTOR
2009
ACM
14 years 3 months ago
2009
ACM
Virtualization is becoming widely deployed in servers to efficiently provide many logically separate execution environments while reducing the need for physical servers. While th...
IPSN
2010
Springer
14 years 3 months ago
2010
Springer
The need for high-frequency signal acquisition and processing is becoming increasingly prevalent in sensor networks. Applications that require high-frequency data sampling are pre...
SENSYS
2006
ACM
14 years 2 months ago
2006
ACM
Small-form-factor, low-power wireless sensors—motes—are convenient to deploy, but lack the bandwidth to capture and transmit raw high-frequency data, such as human voices or n...
KIVS
1999
Springer
14 years 27 days ago
1999
Springer
Abstract. After introducing the concept of mobile agents and potential application domains, we motivate why mobile agent technology is an interesting concept for large Internet-bas...