Cognitive sensor networks

A smart sensor network that integrates latest advances in cognitive science and artificial intelligence with low- power wireless sensors is presented for emerging applications in energy, agriculture, environment, healthcare, medicine, transportation, and defense and space.

[1]  Claudiu Danilov,et al.  The Spread Toolkit: Architecture and Performance , 2004 .

[2]  R. Giovanini,et al.  EPOCHS: a platform for agent-based electric power and communication simulation built from commercial off-the-shelf components , 2006, IEEE Transactions on Power Systems.

[3]  David E. Culler,et al.  The nesC language: A holistic approach to networked embedded systems , 2003, PLDI.

[4]  Chris Hanson,et al.  Amorphous computing , 2000, Commun. ACM.

[5]  Patrick Maier,et al.  A lattice-theoretic framework for circular assume-guarantee reasoning , 2003 .

[6]  Ronaldo Menezes,et al.  A new approach to scalable Linda-systems based on swarms , 2003, SAC '03.

[7]  Supratik Mukhopadhyay,et al.  Service composition in a secure agent-based architecture , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[8]  Stephen A. Edwards,et al.  The synchronous languages 12 years later , 2003, Proc. IEEE.

[9]  Stephen S. Yau,et al.  Specification, analysis and implementation of architectural patterns for dependable software systems , 2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

[10]  Ramesh Bharadwaj.  Verifiable Middleware for Secure Agent Interoperability , 2002, FAABS.

[11]  Sang Hyuk Son,et al.  EnviroTrack: towards an environmental computing paradigm for distributed sensor networks , 2004, 24th International Conference on Distributed Computing Systems, 2004. Proceedings..

[12]  Stephen S. Yau,et al.  Adaptable situation-aware secure service-based (AS/sup 3/) systems , 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

[13]  Steve Sims,et al.  Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking , 2000, TACAS.