249 search results - page 29 / 50 » Validating Architectural Feature Descriptions using LOTOS |
127
Voted
KCAP
2009
ACM
15 years 10 months ago
2009
ACM
Workflows are becoming an increasingly more common paradigm to manage scientific analyses. As workflow repositories start to emerge, workflow retrieval and discovery becomes a cha...
149
click to vote
PDP
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper presents a high-level approach for assessing the performance behavior of complex scientific applications running on a high-performance system through simulation. The pr...
127
Voted
DAC
2007
ACM
15 years 7 months ago
2007
ACM
Using FPGAs, a designer can separate the design process from the manufacturing flow. Therefore, the owner of a sensitive design need not expose the design to possible theft and ta...
136
click to vote
HAPTICS
2010
IEEE
15 years 3 months ago
2010
IEEE
Limitations of state-of-the-art teleoperation systems can be compensated by using shared-control teleoperation architectures that provide haptic assistance to the human operator. T...
139
Voted
JUCS
2008
15 years 3 months ago
2008
: In this paper, we present a model-based tool for product derivation. Our tool is centered on the definition of three models (feature, architecture and configuration models) which...