Cognitive Distributed Networks in Environmental e-Science
暂无分享,去创建一个
Krishna Shenai | Supratik Mukhopadhyay | Subhashis Majumder | Ramesh Bharadwaj | Manuel Peralta | S. Mukhopadhyay | S. Majumder | K. Shenai | Manuel Peralta | Ramesh Bharadwaj
[1] Claudiu Danilov,et al. The Spread Toolkit: Architecture and Performance , 2004 .
[2] 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).
[3] 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.
[4] Patrick Maier,et al. A lattice-theoretic framework for circular assume-guarantee reasoning , 2003 .
[5] John J. Sojdehei,et al. Magneto-inductive (MI) communications , 2001, MTS/IEEE Oceans 2001. An Ocean Odyssey. Conference Proceedings (IEEE Cat. No.01CH37295).
[6] Stephen A. Edwards,et al. The synchronous languages 12 years later , 2003, Proc. IEEE.
[7] Ramesh Bharadwaj. Verifiable Middleware for Secure Agent Interoperability , 2002, FAABS.
[8] 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..
[9] D. Prawitz. Natural Deduction: A Proof-Theoretical Study , 1965 .
[10] F.A. Miranda,et al. RF telemetry system for an implantable bio-MEMS sensor , 2004, 2004 IEEE MTT-S International Microwave Symposium Digest (IEEE Cat. No.04CH37535).
[11] Gene Tsudik,et al. Secure spread: an integrated architecture for secure group communication , 2005, IEEE Transactions on Dependable and Secure Computing.
[12] Steve Sims,et al. Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking , 2000, TACAS.
[13] Andrew W. Appel,et al. Compiling with Continuations , 1991 .
[14] Edsger W. Dijkstra,et al. A Discipline of Programming , 1976 .
[15] M. de Rijke,et al. Modal Logic , 2001, Cambridge Tracts in Theoretical Computer Science.
[16] Chris Hanson,et al. Amorphous computing , 2000, Commun. ACM.
[17] David E. Culler,et al. The nesC language: A holistic approach to networked embedded systems , 2003, PLDI.
[18] 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.
[19] Ian F. Akyildiz,et al. Wireless underground sensor networks: Research challenges , 2006, Ad Hoc Networks.
[20] Ronaldo Menezes,et al. A new approach to scalable Linda-systems based on swarms , 2003, SAC '03.