1833 search results - page 297 / 367 » Mechanized Verification with Sharing |
143
click to vote
IJCAI
2007
15 years 6 months ago
2007
Agents with partial observability need to share information to achieve decentralised coordination. However, in resource-constrained systems, indiscriminate communication can creat...
145
click to vote
SIS
2008
15 years 6 months ago
2008
Network Access Control requirements are typically implemented in practice as a series of heterogeneous security-mechanism-centric policies that span system services and application...
145
click to vote
VAMOS
2008
Springer
15 years 6 months ago
2008
Springer
Software Product Lines aim at capturing the variability and commonality of a family of related programs that share a common set of assets. Variation points capture variability on ...
156
click to vote
ACSW
2006
15 years 6 months ago
2006
Service providers of the future could dynamically negotiate for, and create their infrastructure on Grid based utility computing and communication providers. Such commercialisatio...
153
click to vote
FLAIRS
2004
15 years 5 months ago
2004
The Semantic Web is intended for knowledge sharing among agents as well as humans. To achieve this goal, Ontologies, which express knowledge in a certain vitality as well as in a ...