249 search results - page 29 / 50 » Validating Architectural Feature Descriptions using LOTOS |
106
click to vote
KCAP
2009
ACM
15 years 8 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...
128
click to vote
PDP
2003
IEEE
15 years 6 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...
106
click to vote
DAC
2007
ACM
15 years 5 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...
119
click to vote
HAPTICS
2010
IEEE
15 years 1 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...
125
click to vote
JUCS
2008
15 years 1 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...