3653 search results - page 368 / 731 » On Recognizable Timed Languages |
187
click to vote
EWSA
2005
Springer
16 years 9 days ago
2005
Springer
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...
161
click to vote
ICALP
2005
Springer
16 years 8 days ago
2005
Springer
This paper studies the dynamic bin packing problem, in which items arrive and depart at arbitrary time. We want to pack a sequence of unit fractions items (i.e., items with sizes ...
179
Voted
OTM
2005
Springer
16 years 8 days ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
140
click to vote
ICALP
2004
Springer
16 years 4 days ago
2004
Springer
We give a simple formulation of Karr’s algorithm for computing all affine relationships in affine programs. This simplified algorithm runs in time O(nk3 ) where n is the progr...
216
click to vote
ICCS
2004
Springer
16 years 4 days ago
2004
Springer
The Data Driven Design Optimization Methodology (DDDOM) is a Dynamic Data Driven Application System (DDDAS) developed for engineering design optimization. The DDDOM synergizes expe...