- Full text PDF available (7)
One considers systems made of synchronizers to which distributed reactive machines are connected. The corresponding model is described with its implementation in Java, using SugarCubes and the RMI mechanism.
This paper presents a Java-based reactive programming framework well adapted to the construction of complex behaviors for CG objects within virtual environments. This reactive approach is based on an instantaneously broadcast event model and a semantically-sound synchronous/reactive formalism. The reactive framework degree of expressiveness is illustrated… (More)
This paper describes an innovative and highly secure networking architecture, dedicated to the Internet of things (IoT). We propose an infrastructure that works with a new type of tags, supporting the recently standardized host identity protocol (HIP). Our main concern is to ensure RFID tags privacy, while enabling things to things communications.
SugarCubes are a set of Java classes for implementing software systems such a s : Event based systems, especially those where events are instantly broadcast throughout the system. Communicating in this framework is like in radio transmissions, where emitters send information that is immediately received by all receivers. Concurrent systems, in particular… (More)
Concurrent design facilitate the programming of interactive applications such as games or simulations of virtual worlds. Java has popularized the use of multithreaded programming to address multiple concurrency issues in applications. However, threads are not always fine-grained enough to be successfully applied in all circumstances, especially when it… (More)
We propose a new scripting language called DSL based on the synchronous/reactive model. In DSL, systems are composed of several sites executed asyn-chronously, and each site is running scripts in a synchronous parallel way. Scripts may call functions that are considered in an abstract way: their effect on the memory is not considered, but only their "… (More)
SugarCubes is a set of Java classes used to implement reactive, event based, concurrent systems. It is a low-level basis upon which more complex reactive formalisms can be implemented. SugarCubes introduces the notion of a global logical instant of execution, which is used to define synchronous parallelism and concurrency. It is also used to define… (More)
This paper describes the basic formal semantics of Junior, a formalism for reactive programming in Java. Semantics consists in rewriting rules given for Junior reactive instructions.