1894 search results - page 166 / 379 » Towards Mobile Reasoning |
162
click to vote
SPIN
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
175
click to vote
W2GIS
2007
Springer
16 years 4 days ago
2007
Springer
One of the challenges raised by the construction of the semantic Web lies in the analysis and management of complex relationships (thematic, spatial and temporal) connecting severa...
138
click to vote
HICSS
2006
IEEE
16 years 3 days ago
2006
IEEE
Spam e-mails have become a serious technological and economic problem. So far we have been reasonably able to resist spam e-mails and use the Internet for regular communication by...
163
click to vote
IAT
2006
IEEE
16 years 3 days ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
144
click to vote
AOSD
2006
ACM
16 years 22 hour ago
2006
ACM
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...