2940 search results - page 363 / 588 » Relational Parametricity and Control |
186
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
Auctions and exchanges are important coordination mechanisms for multiagent systems. Most multi-good markets are combinatorial in that the agents have preferences over bundles of ...
154
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Function is a dynamic property closely related to the conformational mechanisms of the protein structure in its physiological environment. Efficient methods and tools for predicti...
169
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
185
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Various kinds of data are processed in workflow management systems: from case data to control data, from internal data to access to external databases or documents exchanged in int...
180
click to vote
CCS
2006
ACM
15 years 10 months ago
2006
ACM
Let us have an NLFSR with the feedback function g(x) and an LFSR with the generating polynomial f(x). The function g(x) is a Boolean function on the state of the NLFSR and the LFS...