Sciweavers

532 search results - page 13 / 107
» Distributed, Modular HTL
Sort
View
JCSC
1998
159views more  JCSC 1998»
13 years 7 months ago
An Approach to Object System Modeling by State-Based Object Petri Nets
For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavi...
A. Newman, Sol M. Shatz, X. Xie
SIMPAR
2010
386views Robotics» more  SIMPAR 2010»
13 years 6 months ago
Virtual Robot Experimentation Platform V-REP: A Versatile 3D Robot Simulator
From exploring planets to cleaning homes, the reach and versatility of robotics is vast. The integration of actuation, sensing and control makes robotics systems powerful, but comp...
Marc Freese, Surya P. N. Singh, Fumio Ozaki, Nobut...
AOSD
2004
ACM
14 years 1 months ago
Remote pointcut: a language construct for distributed AOP
This paper presents our extension to AspectJ for distributed computing. Although AspectJ allows Java developers to modularize a crosscutting concern as an aspect, this paper shows...
Muga Nishizawa, Shigeru Chiba, Michiaki Tatsubori
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
13 years 9 months ago
Modular construction of finite and complete prefixes of Petri net unfoldings
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
Agnes Madalinski, Eric Fabre
HPCS
2006
IEEE
14 years 1 months ago
A Component-Based Approach to Improving the Modularity of OSCAR
Geoffroy Vallée, Thomas Naughton, Stephen L...