1774 search results - page 205 / 355 » Modeling Dynamic Component Interfaces |
WSC
1997
13 years 11 months ago
1997
This paper describes the Integrated Medical Analysis System. This evolving system consists of an integrated suite of models and tools providing quantitative and dynamic analysis f...
CSFW
2006
IEEE
14 years 3 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
ICRA
1998
IEEE
14 years 1 months ago
1998
IEEE
Part feeders, which singulate and orient parts prior to packing and insertion, are critical components of an assembly line. Existing feeders utilize o -plane vibrations of a rigid...
TCS
2010
13 years 8 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
CHI
2003
ACM
14 years 10 months ago
2003
ACM
We present AuraMirror, a system that visualizes virtual windows of attention: the commodity of visual attention people exchange during interactions in small groups. AuraMirror act...