2638 search results - page 92 / 528 » Frameworks for Reasoning about Agent Based Systems |
141
click to vote
PDP
2006
IEEE
15 years 10 months ago
2006
IEEE
Mobility study is composed of many research areas which one interests us: urban mobility. In the literature, urban mobilities are represented by analytical techniques like stochas...
152
click to vote
RIVF
2003
15 years 5 months ago
2003
— Home networking is the collection of elements that process, manage, transport and store information, enabling the connection and integration of multiple computing, control, mon...
141
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
135
click to vote
JDCTA
2010
14 years 11 months ago
2010
Context-awareness has been considered as promising topic in pervasive computing area, but a review of the existing approaches shown that developing diverse application services in...
117
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
We aim at providing artificial agents with logical tools to reason specifically on privacy-related regulations, in order to comply with them. In order to express these regulatio...