1265 search results - page 148 / 253 » Computer poker: A review |
132
click to vote
ECOOPW
2003
Springer
15 years 11 months ago
2003
Springer
Report about the ECOOP 2003 workshop WS 03, “.NET: The Programmer’s Perspective”. Much of the push behind Microsoft's new .NET technology has been directed at such ...
154
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
156
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract—Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz’ Time-Triggered Architectures (TTA) have been proposed as...
145
click to vote
TAMC
2010
Springer
15 years 11 months ago
2010
Springer
Unless we resolve the P vs NP question, we are unable to say whether there is an algorithm (acceptor) that accepts Boolean tautologies in polynomial time and does not accept non-ta...
148
click to vote
ISCC
2000
IEEE
15 years 10 months ago
2000
IEEE
Energy efficiency is an important issue for mobile computers since they must rely on their batteries. We present an energyefficient highly adaptive architecture of a network inter...