Sciweavers

2542 search results - page 204 / 509
» One step ahead
Sort
View
98
Voted
ENTCS
2006
199views more  ENTCS 2006»
15 years 1 months ago
Compositional Operational Semantics of a UML-Kernel-Model Language
We define a compositional operational semantics for state machines and their composition in UML. Each state machine describes the behavior of an object of a class. If a class of a...
Harald Fecher, Marcel Kyas, Willem P. de Roever, F...
96
Voted
ENTCS
2006
116views more  ENTCS 2006»
15 years 1 months ago
Stepwise Refinement of Processes
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...
Steve Reeves, David Streader
IOR
2008
102views more  IOR 2008»
15 years 1 months ago
An Optimization Algorithm for the Ordered Open-End Bin-Packing Problem
The ordered open-end bin packing problem is a variant of the bin packing problem in which the items to be packed are sorted in a given order and the capacity of each bin can be ex...
Alberto Ceselli, Giovanni Righini
JACM
2006
92views more  JACM 2006»
15 years 1 months ago
The generalized two-server problem
We consider the generalized on-line two-server problem in which at each step each server receives a request, which is a point in a metric space. One of the servers has to be moved ...
René A. Sitters, Leen Stougie
78
Voted
JSCIC
2006
72views more  JSCIC 2006»
15 years 1 months ago
Space-Time Adaptive Solution of First Order PDES
An explicit time-stepping method is developed for adaptive solution of time-dependent partial differential equations with first order derivatives. The space is partitioned into bl...
Lars Ferm, Per Lötstedt