Sciweavers

1164 search results - page 106 / 233
» Constructive nonlinear dynamics in process systems engineeri...
Sort
View
ICSE
2008
IEEE-ACM
16 years 5 months ago
A tale of four kernels
The Freebsd, gnu/Linux, Solaris, and Windows operating systems have kernels that provide comparable facilities. Interestingly, their code bases share almost no common parts, while...
Diomidis Spinellis
126
Voted
FOSSACS
2001
Springer
15 years 8 months ago
High-Level Petri Nets as Type Theories in the Join Calculus
Abstract. We study the expressiveness of the join calculus by comparison with (generalised, coloured) Petri nets and using tools from type theory. More precisely, we consider four ...
Maria Grazia Buscemi, Vladimiro Sassone
IROS
2006
IEEE
144views Robotics» more  IROS 2006»
15 years 10 months ago
Finding Resonance: Adaptive Frequency Oscillators for Dynamic Legged Locomotion
— There is much to gain from providing walking machines with passive dynamics, e.g. by including compliant elements in the structure. These elements can offer interesting propert...
Jonas Buchli, Fumiya Iida, Auke Jan Ijspeert
145
Voted
MABS
2005
Springer
15 years 9 months ago
Visual Modeling for Complex Agent-Based Simulation Systems
Currently there is a diversity of tools for agent-based simulation, which can be applied to the understanding of social phenomena. Describing this kind of phenomena with a visual l...
Candelaria Sansores, Juan Pavón, Jorge J. G...
SOCO
2007
Springer
15 years 10 months ago
Dynamically Adaptable Applications with iPOJO Service Components
Traditional component models and frameworks simplified software system development by enabling developers to break software systems into independent pieces with well-defined interf...
Clément Escoffier, Richard S. Hall