5085 search results - page 374 / 1017 » Multidimensional Design by Examples |
210
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
Refactoring is a change made to the internal structure of software to make it easier to understand and cheaper to modify without changing its observable behaviour. A database refa...
174
click to vote
ENTCS
2010
15 years 7 months ago
2010
This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our de...
199
click to vote
CORR
2006
Springer
15 years 7 months ago
2006
Springer
This paper describes an approach for reusing specification patterns. Specification patterns are design patterns that are expressed in a formal specification language. Reusing a spe...
196
click to vote
IEICET
2006
15 years 7 months ago
2006
Abstract--This paper deals with a synthesis of a nonautonomous system with a stable limit cycle. By extending Green's method, by which arbitrary periodic solutions can be desi...
176
click to vote
IOR
2006
15 years 7 months ago
2006
We present fully sequential procedures for steady-state simulation that are designed to select the best of a finite number of simulated systems when "best" is defined by...