4647 search results - page 546 / 930 » Composite Design Patterns |
140
click to vote
EMSOFT
2006
Springer
15 years 8 months ago
2006
Springer
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
131
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
149
click to vote
GECCO
2006
Springer
15 years 8 months ago
2006
Springer
We propose a hybrid algorithm (called ALPINE) between Genetic Algorithm and Dantzig's Simplex method to approximate optimal solutions for the Flexible Job-Shop Problem. Local...
139
click to vote
ER
2000
Springer
15 years 8 months ago
2000
Springer
One of the obstacles that hinder database trigger systems from their wide deployment is the lack of tools that aid users in creating trigger rules. Similar to understanding and spe...
150
click to vote
WADT
1998
Springer
15 years 8 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...