2623 search results - page 475 / 525 » Hoare Logic in the Abstract |
97
Voted
SAC
2010
ACM
15 years 25 days ago
2010
ACM
This paper describes a new generic metadata model, called CAM Metamodel, that merges altogether information about content, services, physical and technical environment in order to...
118
click to vote
DCOSS
2010
Springer
15 years 25 days ago
2010
Springer
Synchronization is widely considered as an important service in distributed systems which may simplify protocol design. Phase clock is a general synchronization tool that provides ...
113
Voted
GECCO
2010
Springer
15 years 24 days ago
2010
Springer
To complement standard fitness functions, we propose "Fitness Importance" (FI) as a novel meta-heuristic for online learning systems. We define FI and show how it can be...
101
click to vote
AAMAS
2007
Springer
15 years 23 days ago
2007
Springer
Abstract. Networked multi-agent systems are comprised of many autonomous yet interdependent agents situated in a virtual social network. Two examples of such systems are supply cha...
91
Voted
ACS
2007
15 years 23 days ago
2007
Abstract. For a symmetric monoidal-closed category X and any object K, the category of K-Chu spaces is small-topological over X and small cotopological over Xop . Its full subcateg...