Sciweavers

3719 search results - page 203 / 744
» RACER System Description
Sort
View
CNSR
2005
IEEE
145views Communications» more  CNSR 2005»
16 years 4 days ago
PENS: A Personalized Electronic News System
A framework has been developed as a basis for design and implementation of adaptive Web systems. This framework and the respective architecture support the idea of high-level synt...
Mehran Nadjarbashi-Noghani, Jie Zhang, Hossein Sad...
ICSOC
2005
Springer
15 years 12 months ago
Choreography and Orchestration: A Synergic Approach for System Design
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...
GC
2004
Springer
15 years 12 months ago
A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
Lorenzo Bettini, Rocco De Nicola, Daniele Falassi,...
CODES
1997
IEEE
15 years 10 months ago
Software Architecture Synthesis for Retargetable Real-time Embedded Systems
– Retargetability of embedded system descriptions not only enables better exploration of the design space and evaluation of cost/performance tradeoffs but also enhances design ma...
Pai H. Chou, Gaetano Borriello
COMPASS
1994
15 years 10 months ago
Equations for Describing Dynamic Nets of Communicating Systems
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
Manfred Broy