215 search results - page 43 / 43 » Toward Verified Execution Environments |
AGTIVE
1999
Springer
13 years 11 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
IWSSD
1993
IEEE
13 years 11 months ago
1993
IEEE
In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the indiv...
AAAI
2004
13 years 8 months ago
2004
Dynamically-balancing robots have recently been made available by Segway LLC, in the form of the Segway RMP (Robot Mobility Platform). We have addressed the challenge of using the...
PRESENCE
2002
13 years 7 months ago
2002
The literature often suggests that proprioceptive and especially vestibular cues are required for navigation and spatial orientation tasks involving rotations of the observer. To ...
AAAI
2010
13 years 6 months ago
2010
hey generalize these factors to the abstract concepts of ability, integrity, and benevolence. This model does not use probabilistic decision theory. Other SCM trust factors have be...