606 search results - page 9 / 122 » Algebras and Update Strategies |
SOFSEM
2009
Springer
14 years 4 months ago
2009
Springer
We develop a game semantics for process algebra with two interacting agents. The purpose of our semantics is to make manifest the role of knowledge and information flow in the int...
TPDS
2008
13 years 7 months ago
2008
Communication is a primary source of energy consumption in wireless sensor networks. Due to resource constraints, the sensor nodes may not have enough energy to report every readin...
EMO
2006
Springer
13 years 11 months ago
2006
Springer
The multi-objective covariance matrix adaptation evolution strategy (MO-CMA-ES) combines a mutation operator that adapts its search distribution to the underlying optimization prob...
ICLP
1999
Springer
14 years 1 days ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
ECRTS
2004
IEEE
13 years 11 months ago
2004
IEEE
Many real-time systems need to maintain fresh views which are derived from shared data that are distributed among multiple sites. When a base data item changes, all derived views ...