2736 search results - page 534 / 548 » Implementable allocation rules |
118
click to vote
KBSE
2000
IEEE
15 years 3 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
114
click to vote
SIGGRAPH
2000
ACM
15 years 3 months ago
2000
ACM
Our goal is to embed free-form constraints into a graphical model. With such constraints a graphic can maintain its visual integrity--and break rules tastefully--while being manip...
115
click to vote
LNCS
1991
15 years 3 months ago
1991
We describe the parser of LEU/2, the Linguistic Experimentation Environment of the LILOG project. The parser is designed to support and encourage experimentation with different gr...
LISA
2007
15 years 2 months ago
2007
Contemporary storage systems separate the management of data from the management of the underlying physical storage media used to store that data. This separation is artificial an...
105
click to vote
ASM
2008
ASM
15 years 2 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...