Cognitive distributed networks in environmental e-Science

Proceedings of the IEEE Computer Society Workshop on Future Trends of Distributed Computing Systems

Volumn , Issue , 2008, Pages 192-198

  Bharadwaj, Ramesh ^a   Mukhopadhyay, Supratik ^b   Peralta, Manuel ^b   Shenai, Krishna ^c   Majumder, Subhashis ^d  

^a NAVAL RESEARCH LABORATORY   (United States)

^b UTAH STATE UNIVERSITY   (United States)

^c UNIVERSITY OF TOLEDO   (United States)

^d International Institute of Information Technology Kolkata   (India)

Author keywords

[No Author keywords available]

Indexed keywords

CLOSED LOOP CONTROL SYSTEMS; HYBRID SENSORS; INFORMATION MANAGEMENT; MANAGEMENT INFORMATION SYSTEMS; NETWORK MANAGEMENT; SENSOR DATA FUSION; SENSOR NETWORKS; SENSORS; TECHNICAL PRESENTATIONS;

CLOSED-LOOP CONTROLS; CONTEXT-AWARE; DATA FUSION TECHNIQUES; DISTRIBUTED NETWORKS; DISTRIBUTED SENSORS; FORMAL MATHEMATICS; FUNDAMENTAL PRINCIPLES; HARDWARE COSTS; INTELLIGENT SENSORS; NATURAL ECOSYSTEMS; NATURAL ENVIRONMENTS; RECONFIGURABLE; RELIABILITY GUARANTEES; WIRED SENSORS; WIRELESS SENSORS;

WIRELESS SENSOR NETWORKS;

EID: 58049169671     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FTDCS.2008.41     Document Type: Conference Paper

References (32)

1. D. Evans, Programming the Swarm, NSF C. A. Proposal.
2. R. Menezes, R.Tolksdorf: "A New App. to Scal. Linda-systems Based on Swarms. "SAC 2003: 375-379, 2003.
3. T. Abdelzaher, B. Blum B, Q. Cao, Y. Chen, D. Evans, J. George, S. George, L. Gu, T. He, S. Krishnamurthy, L. Luo, S. Son, J. Stankovic, R. Stoleru and A. Wood, EnviroTrack: Towards an Environmental Computing Paradigm for Distributed Sensor Networks , The 24th International Conference on Distributed Computing Systems. Tokyo, Japan. March 23-26, 2004.
4. K. Shenai and N. Jack, "Device and Method for Wireless Communication Using Magnetic Induction," US Provisional Patent Document (in file), Technology Commercialization Office, Utah State University, Logan, UT.
5. I. F. Akyildiz and E.P. Stuntebeck, "Wireless underground sensor networks: Research challenges," Science Direct- Ad Hoc Networks 4, Elsevier B.V., pp. 669-686, 2006.
6. J. J. Sojdehei, P. N. Wrathall, and D. F. Dinn, "Magneto-inductive (MI) communications," in IEEE MTT-S Digest, MTS 0-933057-28-9, pp. 513-519.
7. C. Bunszel, "Magnetic induction: a low-power wireless alternative," RF Design, pp. 78-80, Nov. 2001.
8. C. Bunszel, "Linking home devices with magnetic induction," CommsDesign, Freescale Semiconductors, URL: http://www.commsdesign.com/ showArticle.jhtml?articleID=16503424
9. R. N. Simons, D. G. Hall, and F. A. Miranda, "RF telemetry system for an implantable bio-MEMS sensor," in IEEE MTT-S Digest, pp. 1433-1436, 2004.
10. Campbell Scientific, Inc., http://www.campbellsci.com/dataloggers
11. Division of Engineering and Applied Sciences, Harvard University, Cambridge, MA, http://www.eecs.harvard.edu/~mdw/proj/codeblue/
12. S.S. Yau, H. Davulcu, S. Mukhopadhyay, et. al. "Automated Synthesis of Workflows for Service-Based Systems", in the International Journal on Web Services Research, 2007.
13. 3) Systems. ISORC 2005: 308-315, 2005.
14. nd IEEE W. on Formal Approaches to Agent-Based Systems (FAABS II), 2002, pp. 126-132.
15. Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Thomas F. Knight, Radhika Nagpal, Erik Rauch, Gerald J. Sussman, Ron Weiss: Amorphous Computing. Commun. ACM 43(5): 74-82, 2000.
16. D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler, The nesC Language: A Holistic Approach to Networked Embedded Systems, In Proceedings of Programming Language Design and Implementation (PLDI) 2003, June 2003.
17. Y. Amir, C. Danilov, M. Miskin-Amir, J. Schultz, J. Stanton, "The Spread Toolkit: Architecture and Performance" Technical Report, Johns Hopkins University.
18. http://www.upnp.org
19. S. S. Yau, S. Mukhopadhyay, R. Bharadwaj: Specification, Analysis and Implementation of Architectural Patterns for Dependable Software Systems. WORDS 2005: 197-204, 2005.
20. R. Bharadwaj, S. Mukhopadhyay, N. Padh: Service Composition in a Secure Agent-Based Architecture. EEE 2005: 787-788, 2005.
21. http://www.xbow.com
22. A. Benveniste, P.Caspi, S. A. Edwards, N. Halbwachs, P. Le Guernic, R. de Simone: The synchronous languages 12 years later. Proceedings of the IEEE 91(1): 64-83 (2003)
23. R. Bharadwaj, S. Mukhopadhyay, From Synchrony to SINS, Technical Report Utah State University, 2006
24. R. Bharadwaj and S. Sims. Salsa: Combining constraint solvers with BDDs for automatic invariant checking. In Proc. 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2000), ETAPS 2000, Berlin, March 2000.
25. P. Maier A Lattice-Theoretic Framework for Circular Assume Guarantee Reasoning, PhD Thesis, MPI, 2005
26. http://www.campbellsci.com/index.cfm
27. Wikipedia - Internet Encyclopedia, 2007. [online]. Available: http://en.wikipedia.org/wiki/Java_Card [Accessed September 11, 2007].
28. A. Appel, Compiling with Continuations, Cambridge University Press, 1992
29. P. Blackburn, M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2002
30. D. Prawitz, Natural Deduction: A Proof-theoretical Study, Dover Publications, 2006
31. E. W. Dijkstra, A Discipline of Programming, prentice Hall, 1976
32. S. Mukhopadhyay, R.K. Roy, K.Shenai, and N.Jack, Technique and Architecture for Cognitive Coordination of Resources in a Distributed Network, US Patent, Filed 2008