Sciweavers

232 search results - page 35 / 47
» Timed Commitments
Sort
View
CIC
2006
148views Communications» more  CIC 2006»
14 years 11 months ago
RPC LSP Detection and Fuzzy Control Mechanisms in ATM Based MPLS on BcN
A major goal of the BcN (Broadband Convergence Network) is to facilitate convergence of networks and services. Many transport-related technologies were considered. One technology ...
Chulsoo Kim, Semyung Park, Taewan Kim, Jungtae Lee
WSC
1998
14 years 11 months ago
Modeling and Simulation of Public Housing Construction in Hong Kong
Hong Kong possesses one of the world's largest public housing stocks which provide accommodation for 3.1 million people. To meet the growing need for public housing, the gove...
Jonathan Jinsheng Shi, S. X. Zeng, C. M. Tam
AIPS
2010
14 years 10 months ago
Forward-Chaining Partial-Order Planning
Over the last few years there has been a revival of interest in the idea of least-commitment planning with a number of researchers returning to the partial-order planning approach...
Amanda Jane Coles, Andrew Coles, Maria Fox, Derek ...
ICGA
2006
97views Optimization» more  ICGA 2006»
14 years 9 months ago
Computer Analysis of World Chess Champions
Who is the best chess player of all time? Chess players are often interested in this question that has never been answered authoritatively, because it requires comparison between c...
Matej Guid, Ivan Bratko
RTS
2006
176views more  RTS 2006»
14 years 9 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt