1054 search results - page 171 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
133
click to vote
ITICSE
2004
ACM
15 years 9 months ago
2004
ACM
The use of generic and generative methods for the development and application of interactive educational software is a relatively unexplored area in industry and education. Advant...
162
click to vote
ISWC
1997
IEEE
15 years 8 months ago
1997
IEEE
We propose a practical application of wearable computing and augmented reality which enhances the game of billiards. A vision algorithm is implemented which operates in interactiv...
145
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Drugs can influence the whole metabolic system by targeting enzymes which catalyze metabolic reactions. The existence of interactions between drugs and metabolic react...
162
click to vote
ESAW
2004
Springer
15 years 9 months ago
2004
Springer
Virtual Enterprises are a major trend within the B2B scenario. Technological support towards enabling this cooperation model includes the multi-agent systems paradigm. In this pape...
112
click to vote
SC
2000
ACM
15 years 8 months ago
2000
ACM
This paper reports the progress being made towards complete turbo-pump simulation capability for liquid rocket engines. The Space Shuttle Main Engine (SSME) turbo-pump impeller is...