7452 search results - page 1279 / 1491 » A Semantics for Multiprocessor Systems |
194
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Graph-based formalisms of quantum computation provide an abstract and symbolic way to represent and simulate computations. However, manual manipulation of such graphs is slow and e...
182
click to vote
ASWC
2008
Springer
15 years 8 months ago
2008
Springer
Information sharing can be effective with structured data. However, there are several challenges for having structured data on the web. Creating structured concept definitions is ...
192
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The beliefs of an agent reflecting her subjective view of the world constitute one of the main components of a BDI agent. In order to incorporate new information coming from other...
168
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
Pervasive computing environments have created a requirement for spatial- and temporal-aware access control systems. Although temporal, spatial and spatio-temporal role-based acces...
159
click to vote
CONEXT
2005
ACM
15 years 8 months ago
2005
ACM
We present the design and implementation of the Janus1 architecture for providing flexible and lightweight access to sensor network resources from Internet-type networks. Janus p...