1679 search results - page 114 / 336 » Variability and Component Composition |
132
Voted
EMSOFT
2005
Springer
15 years 8 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
134
Voted
ICSOC
2005
Springer
15 years 7 months ago
2005
Springer
Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes. In several research papers we have shown how ad...
110
click to vote
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
120
Voted
CCGRID
2002
IEEE
15 years 7 months ago
2002
IEEE
We introduce the Symphony framework, a software ion layer that can sit on top of grid systems. Symphony provides a unified API for grid application developers and offers a graphic...
98
Voted
APIN
2006
15 years 2 months ago
2006
In the past decade, compositional modelling (CM) has established itself as the predominant knowledge-based approach to construct mathematical (simulation) models automatically. Al...