805 search results - page 69 / 161 » Description and Simulation of Hardware Software Systems with... |
150
click to vote
EMSOFT
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We classify component-based models of computation into component models and interface models. A component model speci es for each component how the component behaves in a...
111
click to vote
MKM
2004
Springer
15 years 8 months ago
2004
Springer
This paper describes technologies to create and maintain a problem solving environment based on a framework for distributed mathematical web services. Our approach allows clients t...
172
click to vote
DATE
2007
IEEE
15 years 9 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
115
click to vote
UIST
1997
ACM
15 years 7 months ago
1997
ACM
Linear equality and inequality constraints arise naturally in specifying many aspects of user interfaces, such as requiring that one window be to the left of another, requiring th...
147
click to vote
BMEI
2009
IEEE
15 years 4 months ago
2009
IEEE
The goal of this paper is to develop haptic-visual interaction training system for aircraft fuel supply simulation. Operators can use this system to simulate refueling aircraft in ...