Sciweavers

438 search results - page 24 / 88
» Emergent Properties in Reactive Systems
Sort
View
HOPL
2007
13 years 11 months ago
Statecharts in the making: a personal account
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...
David Harel
MFCS
1995
Springer
13 years 11 months ago
An Abstract Account of Composition
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...
Martín Abadi, Stephan Merz
TPHOL
1998
IEEE
13 years 12 months ago
Co-inductive Axiomatization of a Synchronous Language
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
David Nowak, Jean-René Beauvais, Jean-Pierr...
MEMBRANE
2004
Springer
14 years 1 months ago
Evolution and Oscillation in P Systems: Applications to Biological Phenomena
Some computational aspects and behavioral patterns of P systems are considered, emphasizing dynamical properties that turn useful in characterizing the behavior of biological and b...
Vincenzo Manca, Luca Bianco, Federico Fontana
IWSOS
2009
Springer
14 years 2 months ago
Resolving the Noxious Effect of Churn on Internet Coordinate Systems
Internet Coordinate Systems (ICS) provide easy and practical latency predictions in the Internet. However, peer dynamics (i.e, churn), which is an inherent property of peer-to-peer...
Bamba Gueye, Guy Leduc