Sciweavers

3844 search results - page 118 / 769
» Modular interpreted systems
Sort
View
155
Voted
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
15 years 8 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
GECCO
2003
Springer
100views Optimization» more  GECCO 2003»
15 years 8 months ago
Dense and Switched Modular Primitives for Bond Graph Model Design
This paper suggests dense and switched modular primitives for a bond-graph-based GP design framework that automatically synthesizes designs for multi-domain, lumped parameter dynam...
Kisung Seo, Zhun Fan, Jianjun Hu, Erik D. Goodman,...
FOSSACS
2001
Springer
15 years 7 months ago
On the Modularity of Deciding Call-by-Need
In a recent paper we introduced a new framework for the study of call by need computations. Using elementary tree automata techniques and ground tree transducers we obtained simple...
Irène Durand, Aart Middeldorp
ISER
2000
Springer
117views Robotics» more  ISER 2000»
15 years 6 months ago
Motion Planning for a Self-Reconfigurable Modular Robot
: This paper addresses motion planning of a homogeneous modular robotic system. The modules have self-reconfiguration capability so that a group of the modules can construct a robo...
Eiichi Yoshida, Satoshi Murata, Akiya Kamimura, Ko...
ICSE
2009
IEEE-ACM
16 years 4 months ago
Modular string-sensitive permission analysis with demand-driven precision
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...