Sciweavers

12333 search results - page 633 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
FASE
2003
Springer
16 years 12 days ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...
ARCS
2012
Springer
14 years 2 months ago
Fast Scenario-Based Design Space Exploration using Feature Selection
: This paper presents a novel approach to efficiently perform early system level design space exploration (DSE) of MultiProcessor System-on-Chip (MPSoC) based embedded systems. By...
Peter van Stralen, Andy D. Pimentel
ICSOC
2007
Springer
16 years 1 months ago
Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach
Software systems built by composing existing services are more and more capturing the interest of researchers and practitioners. The envisaged long term scenario is that services, ...
Elisabetta Di Nitto, Massimiliano Di Penta, Alessi...
SIGSOFT
1998
ACM
15 years 11 months ago
On-Line Change Mechanisms
Our interest in the eld of software architecture is focused on the application in technical systems, such as control systems. Our current research in this eld is centered around a...
Sylvia Stuurman, Jan van Katwijk
IVA
2010
Springer
15 years 5 months ago
Speed Dating with an Affective Virtual Agent - Developing a Testbed for Emotion Models
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
Matthijs Pontier, Ghazanfar F. Siddiqui, Johan F. ...