813 search results - page 122 / 163 » Correctness Properties for Multiagent Systems |
130
click to vote
DBSEC
2004
15 years 5 months ago
2004
Real-time update of access control policies, that is, updating policies while they are in effect and enforcing the changes immediately, is necessary for many security-critical appl...
156
click to vote
POPL
2010
ACM
16 years 29 days ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
128
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Sensor nodes are often used to collect data from locations inaccessible or hazardous for humans. As they are not under normal supervision, these nodes are particularly susceptible...
155
Voted
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Integrating contributions received from other agents is an essential activity in multi-agent systems (MASs). Not only must related contributions be integrated together, but the co...
129
Voted
DLOG
2007
15 years 5 months ago
2007
In the context of the Semantic Web or semantic peer to peer systems, many ontologies may exist and be developed independently. Ontology alignments help integrating, mediating or re...