6978 search results - page 1047 / 1396 » On Proofs in System P |
155
click to vote
IEEESCC
2007
IEEE
16 years 1 months ago
2007
IEEE
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...
140
click to vote
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
BOINC, a middleware system for volunteer computing, involves projects, which distribute jobs, and hosts, which execute jobs. The local (host-level) scheduler addresses two issues:...
178
Voted
ROMAN
2007
IEEE
16 years 1 months ago
2007
IEEE
—Endowing robots with a social interface is often costly and difficult. Virtual characters on the other hand are comparatively cheap and well equipped but suffer from other diffi...
168
Voted
ARC
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents an overview regarding the synthesis of regular expressions targeting FPGAs. It describes current solutions and a number of open issues. Implementation of regula...
164
click to vote
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents an applicable model for complex multiattribute negotiations between autonomous agents. The model adopts a novel protocol which decomposes the original n-dimens...