Search Results - "HAREL, D"

Meaningful modeling: what's the semantics of "semantics"? by Harel, D., Rumpe, B.

“…The Unified Modeling Language (UML) is a complex collection of mostly diagrammatic notations for software modeling, and its standardization has prompted an…”
Get full text

Can Programming Be Liberated, Period? by Harel, D.

“…We have come a long way since programming had to be done by tediously listing machine-level instructions that prescribed how a specific computer was to modify…”
Get full text

A feature extraction method for chemical sensors in electronic noses by Carmel, L., Levy, S., Lancet, D., Harel, D.

“…We propose a new feature extraction method for use with chemical sensors. It is based on fitting a parametric analytic model of the sensor’s response over time…”
Get full text

From play-in scenarios to code: an achievable dream by Harel, D.

“…The article presents a general, rather sweeping development scheme for complex reactive systems, combining ideas that have been known for a long time with more…”
Get full text

Executable object modeling with statecharts by Harel, D., Gery, E.

“…Statecharts, popular for modeling system behavior in the structural analysis paradigm, are part of a fully executable language set for modeling object-oriented…”
Get full text

The Lymph Node B Cell Immune Response: Dynamic Analysis In-Silico by Swerdlin, Naamah, Cohen, Irun R., Harel, David

“…Lymph nodes are organs in which lymphocytes respond to antigens to generate, among other cell types, plasma cells that secrete specific antibodies and memory…”
Get full text

A feature extraction algorithm for multi-peak signals in electronic noses by Haddad, R., Carmel, L., Harel, D.

“…The Lorentzian model is a powerful feature extraction technique for electronic noses. In a previous work, it was applied to single-peak transient signals and…”
Get full text

Reactive animation: realistic modeling of complex dynamic systems by Efroni, S., Harel, D., Cohen, I.R.

“…Some complex systems are transformational, of an input-process-output type, repeatedly carrying out their prescribed work for each new set of inputs. A far…”
Get full text

On Teaching Visual Formalisms by Harel, D., Gordon-Kiwkowitz, M.

“…In the spring semester of the 2004-2005 academic year at the Weizmann Institute of Science, coauthor David Harel delivered the graduate course Executable…”
Get full text

The Role of Engineering Principles in the Medical Utilization of Electromagnetic Energies from kHz to Visible Light - Examples by Rosen, Arye, Rosen, Harel D.

“…The use of RF/microwaves in medicine has increased dramatically over the last ten years. RF and microwave therapies for the treatment of cancer in humans are…”
Get full text

On object systems and behavioral inheritance by Harel, D., Kupferman, O.

“…We consider state-based behavior in object-oriented analysis and design, as it arises, for example, in specifying behavior in the UML using statecharts. We…”
Get full text

An eNose algorithm for identifying chemicals and determining their concentration by Carmel, L., Sever, N., Lancet, D., Harel, D.

“…We propose an algorithm for use with multisensor systems that is capable of the following: (a) identify an analyte independently of its concentration; (b)…”
Get full text

Toward Verified Biological Models by Sadot, A., Fisher, J., Barak, D., Admanit, Y., Stern, M.J., Hubbard, E.J.A., Harel, D.

“…The last several decades have witnessed a vast accumulation of biological data and data analysis. Many of these data sets represent only a small fraction of…”
Get full text

InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming by Barak, D., Harel, D., Marelly, R.

“…We describe InterPlay, a simulation engine coordinator that supports cooperation and interaction of multiple simulation and execution tools, thus helping to…”
Get full text

Combining hierarchy and energy for drawing directed graphs by Carmel, L., Harel, D., Koren, Y.

“…We present an algorithm for drawing directed graphs which is based on rapidly solving a unique one-dimensional optimization problem for each of the axes. The…”
Get full text

Is Vacuum Assisted Closure a valid technique for debriding chronic leg ulcers? by Lorée, S, Dompmartin, A, Penven, K, Harel, D, Leroy, D

“…Objective: Between May 2001 and October 2002 a prospective controlled open non-comparative study was performed to assess the effectiveness of topical negative…”
Get full text

Biting the silver bullet: toward a brighter future for system development by Harel, D.

“…The author responds to two discouraging position papers by F.B. Brooks, Jr. (see ibid., vol.20, no.4, p 10-19, 1987) and D.L. Parnas (see Commun. ACM, vol.28,…”
Get full text

Towards an odor communication system by Harel, D., Carmel, L., Lancet, D.

“…We propose a setup for an odor communication system. Its different parts are described, and ways to realize them are outlined. Our scheme enables an output…”
Get full text

Playing with time: on the specification and execution of time-enriched LSCs by Harel, D., Marelly, R.

“…We extend live sequence charts (LSCs), a highly expressive variant of sequence diagrams, with timing constructs, thus making the language suitable for…”
Get full text

P26.11: Reference values for gama glutamyl transferase (GGT) in amniotic fluid between 16–22 weeks gestation: an addition in assessing non‐visualization of fetal gallbladder? by Bardin, R., Danon, D., Harel, D., Tor, R., Mashiach, R., Vardimon, D., Meizner, I.

Get full text