1346 search results - page 185 / 270 » Alternating-time dynamic logic |
163
click to vote
SIGIR
2004
ACM
15 years 11 months ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
175
click to vote
VRCAI
2004
ACM
15 years 11 months ago
2004
ACM
Actual graphic hardware becomes more and more powerful. Consequently, virtual scenes can be rendered in a very good quality integrating dynamic behavior, real-time shadows, bump m...
143
click to vote
DEON
2004
Springer
15 years 11 months ago
2004
Springer
In an organizational context the norms that apply to an agent depend on the roles he holds in the organization. The deontic characterization of structural roles is defined when th...
162
click to vote
ER
2004
Springer
15 years 11 months ago
2004
Springer
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...
219
click to vote
WAC
2004
Springer
15 years 11 months ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...