3073 search results - page 11 / 615 » Real World Verification |
TBILLC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Applying multi-agent systems in real world scenarios requires several essential research questions to be answered. Agents have to perceive their environment in order to t...
EUROMICRO
2009
IEEE
14 years 2 months ago
2009
IEEE
— Many software development methodologies are based on modeling the real world. In some of these methodologies, real-world models are gradually transformed into software models, ...
PERVASIVE
2005
Springer
14 years 1 months ago
2005
Springer
There is currently a lot of research going on in the field of mobile interaction with the real world. So far, the environment where the mobile phone is used is mainly perceived as...
DLOG
2009
13 years 5 months ago
2009
I will provide an overview of many of the use cases that we looked at to apply OWL ABox reasoning in the real world. The fields we covered included (a) healthcare, and life science...
UIST
1998
ACM
13 years 11 months ago
1998
ACM
We describe a new method and implementation for managing information through the use of physical objects. In today’s networked world, the trend is toward working in a global vir...