1265 search results - page 148 / 253 » Computer poker: A review |
ECOOPW
2003
Springer
15 years 3 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 ...
FM
2003
Springer
15 years 3 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 ...
DATE
2010
IEEE
15 years 3 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...
82
Voted
TAMC
2010
Springer
15 years 3 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...
ISCC
2000
IEEE
15 years 2 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...