Sciweavers

2296 search results - page 159 / 460
» The Expressive Power of Synchronizations
Sort
View
CIBSE
2009
ACM
16 years 1 months ago
A two-level formal semantics for the QVT language
Model Driven Engineering (MDE) proposes a software development process in which software is built by constructing one or more models, and transforming these into other models. In t...
Roxana S. Giandini, Claudia Pons, Gabriela P&eacut...
FDL
2008
IEEE
16 years 29 days ago
Event-Triggered vs. Time-Triggered Communications with UML MARTE
In the real-time and embedded domain, systems tend to combine periodic and aperiodic computations. This leads to mixing event-triggered with timetriggered communications with thei...
Frédéric Mallet, Robert de Simone, L...
ESOP
2007
Springer
16 years 20 days ago
A Calculus for Orchestration of Web Services
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...
Alessandro Lapadula, Rosario Pugliese, Francesco T...
DATE
2006
IEEE
126views Hardware» more  DATE 2006»
16 years 17 days ago
Communication and co-simulation infrastructure for heterogeneous system integration
With the increasing complexity and heterogeneity of embedded electronic systems, a unified design methodology at evels of abstraction becomes a necessity. Meanwhile, it is also i...
Guang Yang 0004, Xi Chen, Felice Balarin, Harry Hs...
ICRA
2006
IEEE
166views Robotics» more  ICRA 2006»
16 years 16 days ago
Analysis, Design and Control of a Planar Micro-robot Driven by two Centripetal-force Actuators
– This paper presents the motion analysis, design and position control of a novel, low cost, sliding micro-robot, which is actuated by centripetal forces generated by robot mount...
P. Vartholomeos, Evangelos Papadopoulos