2296 search results - page 3 / 460 » The Expressive Power of Synchronizations |
ENTCS
2007
13 years 6 months ago
2007
We study, from the expressiveness point of view, the impact of synchrony in the communication primitives that arise when combining together some common and useful programming feat...
VLDB
1991
ACM
13 years 9 months ago
1991
ACM
A model capturing the data manipulation capabilities of a large class of methods in ohjectoriented databases is proposed and investsigated. The model uses a deterministic, paralle...
ATAL
2005
Springer
13 years 11 months ago
2005
Springer
We present an approach to the verification of temporal epistemic properties in synchronous multi-agent systems (MAS) via bounded model checking (BMC). Based on the semantics of s...
JSAC
2008
13 years 6 months ago
2008
A cognitive radio can sense its environment and adapt some of its features, such as carrier frequency, transmission bandwidth, transmission power, and modulation, thus allowing dyn...
NIME
2004
Springer
13 years 11 months ago
2004
Springer
On-the-fly programming is a style of programming in which the programmer/performer/composer augments and modifies the program while it is running, without stopping or restarting, ...