A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf
.
Filters
HERMES: A Software Architecture for Visibility and Control in Wireless Sensor Network Deployments
2008
2008 International Conference on Information Processing in Sensor Networks (ipsn 2008)
We have implemented and tested a fully functional prototype of HERMES for the SOS sensor operating system. ...
To address this problem, this paper presents HERMES, a lightweight framework and prototype tool that provides fine-grained visibility and control of a sensor node's software at run-time. ...
Vijay Raghunathan was supported in part by a Purdue Research Foundation grant. ...
doi:10.1109/ipsn.2008.61
dblp:conf/ipsn/KothariNRSC08
fatcat:fvktc7plufedtl7fgftn4uzkhu
Poet: Target-System Independent Visualizations of Complex Distributed-Application Executions
1997
Computer journal
Designing and implementing a visual debugger for distributed programs is a signi"cant challenge. Distributed applications are often large and frequently exhibit a high degree of complexity. ...
Consequently, a debugger must address problems of complexity and scale in at least two ways. ...
ACKNOWLEDGEMENTS The work described here began in the Shoshin project at the University of Waterloo and has bene"ted from numerous discussions with members of the Centre for Advanced Studies, IBM Toronto ...
doi:10.1093/comjnl/40.8.499
fatcat:fi53klbvkjcelayqv3ullgxbya
An Exploratory Study of Experimental Tools for Wireless Sensor Networks
2011
Wireless Sensor Network
These experimental tools provide the better option for studying the behavior of WSNs before and after implementing the physical one. ...
The objective of this contribution is to present expositive review content on currently available experimental tools/services/concepts used for most emerging field Wireless Sensor Network that has capability ...
To meet a desired false positive rate, the rate of heartbeats has to be increased also increasing the communication cost. • HERMES [172] is a lightweight framework and prototype tool that provides fine-grained ...
doi:10.4236/wsn.2011.37025
fatcat:xmmujz25sbdwdo4kf56wuc42n4
A distributed system architecture for a distributed application environment
1994
IBM Systems Journal
Taylor, “A Prototype Debugger for Hermes,” Pro-
ceedings of CASCON 92, Volume I, IBM Centre for Ad- vanced Studies, Toronto (November 1992), pp. 29-42. Also in Volume II, pp. 313-326.
T. Kunz and D. ...
Bacon, A. Goldberg, A. Lowry, D. Y.
Yemini, and S. A. Yemini, Hermes: A Language for Dis-
tributed Computing, Prentice-Hall, Inc., Englewood
Cliffs, NJ (January 1991).
. A. P. ...
doi:10.1147/sj.333.0399
fatcat:ewi73qxbvvda3cnpkqlww2govm
Cooperative work in large-scale software systems
1994
Journal of Software Maintenance: Research and Practice
Software maintenance is responsible for approximately 80 of the total cost of software. ...
W e conclude this article by presenting the lessons learned using our approach and our projects for the future. ...
Two kinds of experiments were conducted: local prototypes, such as the implementation of current systems such as NSE, DSEE, PALAS on top of Adele; and industrial experiments, as for instance the HERMES ...
doi:10.1002/smr.4360060604
fatcat:mcdo4pxq7jaithcd53eqjupgyq
Wireless Sensor Network: At a Glance
[chapter]
2011
Recent Advances in Wireless Communications and Networks
WSNs available, with a fairly wide range of goals and feature sets.Debuggers for WSNs have been categorized(Tavakoli, 2007)into three distinct categories: source-level debuggers, query-oriented debuggers ...
Here is a table presenting 8 networks monitoring: 1. Memento 2. Sympathy 3. LiveNet 4. NUCLEUS 5. HERMES 6. Chowkidar 7. DiMo 8. ...
Wireless Sensor Network: At a Glance, Recent Advances in Wireless Communications and Networks, Prof. ...
doi:10.5772/19005
fatcat:sbmvuxx2n5fkve5dce3xibymce
Swimming cueing interface device
[article]
2011
The goal of this project is to develop a wearable and waterproof device that enables a blind or visually impaired swimmer to swim laps in a swimming pool lane. ...
NET C# framework is provided for host-side control and signal interaction with the swimmer device, which is handed over to the project sponsor along with an SDK to allow for easy development and system ...
Project Deliverables The project deliverables include one version of the working prototype device, the complete source code for the Hermes platform, the Hades debugger and the Ariadne demo application. ...
doi:10.14288/1.0074448
fatcat:m5vw76luwvb3zmmsfkokeglgci
Page 423 of IBM Systems Journal Vol. 33, Issue 3
[page]
IBM Systems Journal
Taylor, “A Prototype Debugger for Hermes,” Pro-
ceedings of CASCON 92, Volume I, IBM Centre for Ad- vanced Studies, Toronto (November 1992), pp. 29-42. Also in Volume II, pp. 313-326.
T. Kunz and D. ...
-A Larson,
G. Neufeld, J. Pachl, and J. Slonim, “Directory Require- ments for a Multidatabase Service,” Proceedings of CAS- CON ’92, IBM Centre for Advanced Studies, Toronto (November 1992).
. U. ...
Analyse und Einsatzmöglichkeiten von Hypermedia-Systemen
1994
BIBLIOTHEK Forschung und Praxis
A basic introduction into the hypermedia concept is followed by the analysis of selected Systems both for the Macintosh and for the IBM-PC, which are contrasted regarding their ränge of function. ...
Analysis and applications of hypermedia Systems Hypermedia is presented äs a tool to organize multi-medial Information in a non-linear way. ...
Larry Kheriaty, der Programmierer des Sy-stems: "If your goal is to exchange Information, you need a mechanism for representing Information outside your mind in a manner that approximates how it is repre-sented ...
doi:10.1515/bfup.1994.18.2.161
fatcat:7qt6eo52xvdzxl3zcnftmc3an4
Evaluating process clusters to support automatic program understanding
WPC '96. 4th Workshop on Program Comprehension
Evaluating the design of a distributed application is di cult but provides useful information for program development and maintenance. ...
We previously identi ed multiple approaches to automatic process clustering and prototypical tools implementing these approaches have been developed. ...
Any t o o l w orking on a Hermes source will not work on the C source. A default interpretation is assumed for processes for which a static source analysis cannot be performed. ...
doi:10.1109/wpc.1996.501134
dblp:conf/iwpc/Kunz96
fatcat:iatfnttb5zaa5nwcqhofr32owm
Conceptual design of the Spin Physics Detector
[article]
2022
arXiv
pre-print
The Spin Physics Detector, a universal facility for studying the nucleon spin structure and other spin-related phenomena with polarized proton and deuteron beams, is proposed to be placed in one of the ...
two interaction points of the NICA collider that is under construction at the Joint Institute for Nuclear Research (Dubna, Russia). ...
., Movsisyan A.
Institute of Applied Physics of the National Academy of Sciences of Belarus, Minsk, Belarus Acknowledgements. ...
arXiv:2102.00442v3
fatcat:iqxuroncufh3ncuba4vjswsyh4
The development of the Emerald programming language
2007
Proceedings of the third ACM SIGPLAN conference on History of programming languages - HOPL III
Acknowledgements This paper has taken shape over a long period, and has been much improved by the contributions of many colleagues. ...
We thank the Danish Center for Grid Computing, Microsoft Research Cambridge, the University of Copenhagen, and Portland State University for their generous support while this paper was being written. ...
For example, a system like Hermes [25] , though designed for mobile objects, could be implemented straightforwardly with our mechanisms. ...
doi:10.1145/1238844.1238855
dblp:conf/hopl/BlackHJL07
fatcat:hxpdwdxm3zhchihh7aekgx2x3q
A collaborative development environment for design-oriented critiquing systems
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences
Considering that experts are not necessarily familiar with programming we provide means for rapid prototyping and maintenance of design-oriented critiquing systems. ...
We present a collaborative development environment for supporting domain experts in building design-oriented critiquing systems. ...
Results of a consistency check are made visible to the user. They can be analyzed with help of a debugger. ...
doi:10.1109/hicss.2000.926615
dblp:conf/hicss/DueckerGT00
fatcat:qnjkdxd26zcqdowkcouidyecky
The Coq Proof Assistant, version 8.10.0
[article]
2019
Zenodo
Coq version 8.10 contains two major new features: support for a native fixed-precision integer type and a new sort SProp of strict propositions. ...
It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. ...
The Coq Reference Manual, Release 8.10.0 See the file Nsatz.v for many examples, especially in geometry.
Generalized rewriting ...
doi:10.5281/zenodo.3476303
fatcat:nq2hvuywmre3xmbaqly2xxt6za
FLUKA: A Multi-Particle Transport Code
2005
It concludes with a detailed history and bibliography. ...
As a term of comparison, the latest release of the previous Fluka generation, Fluka87, contained roughly 30,000 lines (1.2 MBytes), out of which very few survive in the present code, mostly in the high ...
Acknowledgements The authors would like to thank all the members of the Fluka Collaboration for their invaluable help and patience in reading, checking, and amending the manuscript.
16.4.17 Code size ...
doi:10.15161/oar.it/1448977154.45
fatcat:n2lheartobcxrn23ehbzjjbwai
« Previous
Showing results 1 — 15 out of 24 results