1541 search results - page 36 / 309 » Interaction Analysis in Aspect-Oriented Models |
ASSETS
2006
ACM
14 years 1 months ago
2006
ACM
In previous work we have presented a prototype of an assistant system for the blind that can be used for self-localization and interactive object identification of static objects ...
VRST
2006
ACM
14 years 1 months ago
2006
ACM
Some tasks vital to many mixed and augmented reality systems are either too time consuming or complex to be carried out whilst the system is active. 3D scene modelling and labelli...
BMCBI
2008
13 years 7 months ago
2008
Background: Schizophrenia is a complex disease with multiple factors contributing to its pathogenesis. In addition to environmental factors, genetic factors may also increase susc...
CADE
2008
Springer
14 years 8 months ago
2008
Springer
Rely-guarantee (RG) reasoning is useful for modular Hoare-style proofs of concurrent programs. However, RG requires that assertions be proved stable under the actions of the enviro...
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper describes a new framework for modeling value network of inter-organization interactions. We propose a set of building blocks elements of the model made of economic enti...