1894 search results - page 292 / 379 » Towards Mobile Reasoning |
GROUP
2003
ACM
14 years 3 months ago
2003
ACM
Reconciliating divergent data is an important issue in concurrent engineering, mobile computing and software configuration management. Currently, a lot of synchronizers or merge ...
ICALP
2003
Springer
14 years 3 months ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
CMMR
2009
Springer
14 years 2 months ago
2009
Springer
In speech interactions, people routinely reason about each other’s auditory perspective and adjust their manner of speaking accordingly by raising their voice to overcome noise ...
ICCD
2000
IEEE
14 years 2 months ago
2000
IEEE
The power consumption of microprocessors is becoming increasingly important in design decisions, not only in mobile processors, but also now in high-performance processors. Power-...
ELPUB
2007
ACM
14 years 2 months ago
2007
ACM
Even though there is nothing new about the idea, ontologies are a hot topic. Built for many reasons and appliances, the use of ontologies in real-life applications remains limited...