Sciweavers

3979 search results - page 583 / 796
» Wild control operators
Sort
View
IFL
2007
Springer
120views Formal Methods» more  IFL 2007»
16 years 22 days ago
Lazy Contract Checking for Immutable Data Structures
Existing contract checkers for data structures force programmers to choose between poor alternatives. Contracts are either built into the functions that construct the data structur...
Robert Bruce Findler, Shu-yu Guo, Anne Rogers
IPSN
2007
Springer
16 years 22 days ago
MiniSec: a secure sensor network communication architecture
Secure sensor network communication protocols need to provide three basic properties: data secrecy, authentication, and replay protection. Secure sensor network link layer protoco...
Mark Luk, Ghita Mezzour, Adrian Perrig, Virgil D. ...
IPSN
2007
Springer
16 years 22 days ago
Dozer: ultra-low power data gathering in sensor networks
Environmental monitoring is one of the driving applications in the domain of sensor networks. The lifetime of such systems is envisioned to exceed several years. To achieve this l...
Nicolas Burri, Pascal von Rickenbach, Roger Watten...
ISNN
2007
Springer
16 years 22 days ago
Hybrid Intelligent Modeling Approach for the Ball Mill Grinding Process
Modeling for the ball mill grinding process is still an imperative but difficult problem for the optimal control of mineral processing industry. Due to the integrated complexities ...
Ming Tie, Jing Bi, Yushun Fan
IWSOS
2007
Springer
16 years 22 days ago
Dynamic Ontology Mapping for Interacting Autonomous Systems
Abstract. With the emergence of mobile and ubiquitous computing environments, there is a requirement to enable collaborative applications between these environments. As many of the...
Steven Heeps, Joe Sventek, Naranker Dulay, Alberto...