4737 search results - page 871 / 948 » The LOGIC negotiation model |
140
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Distributed Computing, the exploitation of idle cycles on pervasive desktop PC systems offers the opportunity to increase the available computing power by orders of magnitude (10x...
139
click to vote
ISQED
2002
IEEE
15 years 9 months ago
2002
IEEE
Critical systems like pace-makers, defibrillators, wearable computers and other electronic gadgets have to be designed not only for reliability but also for ultra-low power consu...
162
click to vote
TPHOL
2002
IEEE
15 years 9 months ago
2002
IEEE
g Higher Order Abstract Syntax with Tactical Theorem Proving and (Co)Induction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 ...
149
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Dynamic information flow policies, such as declassification, are essential for practically useful information flow control systems. However, most systems proposed to date that ...
132
click to vote
SEMWEB
2009
Springer
15 years 8 months ago
2009
Springer
The objective of the Market Blended Insight (MBI) project is to develop web based techniques to improve the performance of UK Business to Business (B2B) marketing activities. The a...