3218 search results - page 200 / 644 » Timed Extensions for SDL |
152
click to vote
EOR
2006
15 years 5 months ago
2006
The yard allocation problem (YAP) is a real-life resource allocation problem faced by the Port of Singapore Authority (PSA). As the problem is NP-hard, we propose an effective met...
142
Voted
JNW
2006
15 years 5 months ago
2006
This paper presents a Distributed Efficient Clustering Approach (DECA) for mobility-resistant and energy-efficient clustering in multi-hop wireless networks. The clusterheads cover...
KBS
2007
15 years 5 months ago
2007
Restaurant table management can have significant impact on both profitability and the customer experience. The core of the issue is a complex dynamic combinatorial problem. We sho...
120
click to vote
ENTCS
2002
15 years 4 months ago
2002
The refinement calculus is a well-established theory for translating specifications to program code. Recent research has extended the calculus to handle real-time requirements and...
125
Voted
BC
1999
15 years 4 months ago
1999
An ecient new method for the exact digital simulation of time-invariant linear systems is presented. Such systems are frequently encountered as models for neuronal systems, or as s...