Sciweavers

2416 search results - page 104 / 484
» The Language of Cortical Dynamics
Sort
View
TOOLS
1992
IEEE
14 years 1 months ago
The Oberon System
We show how an object-oriented system-and in particular the Oberon System-can be used to write software that is extensible by end users even while the software is running. Extensib...
Hanspeter Mössenböck
ENTCS
2002
84views more  ENTCS 2002»
13 years 8 months ago
Set Types and Applications
We present pmlB, a programming language that includes primitive sets and associated operations. The language is equipped with a precise type discipline that statically captures dy...
Christian Skalka, Scott F. Smith
ICALP
1994
Springer
14 years 1 months ago
On some Relations between Dynamical Systems and Transition Systems
Abstract. In this paper we de ne a precise notion of abstraction relation between continuous dynamical systems and discrete state-transition systems. Our main result states that ev...
Eugene Asarin, Oded Maler
ECOOP
1987
Springer
14 years 13 days ago
Dynamic Grouping in an Object-Oriented Virtual Memory Hierarchy
Object oriented programming environments frequently suffer serious performance degradation because of a high level of paging activity when implemented using a conventional virtual...
Ifor Williams, Mario Wolczko, Trevor Hopkins
ECSA
2010
Springer
13 years 10 months ago
A Model for Dynamic Reconfiguration in Service-Oriented Architectures
Abstract. The importance of modelling the dynamic architectural characteristics of software systems has long been recognised. However, the nature of the dynamic architectural chara...
José Luiz Fiadeiro, Antónia Lopes