7892 search results - page 311 / 1579 » Programming with Models |
121
click to vote
EDO
2005
Springer
15 years 7 months ago
2005
Springer
A distribution model for the new generation of component languages, which allows to plug required into provided interfaces, is presented together with the distributed component la...
119
click to vote
LPNMR
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
126
click to vote
ENTCS
2008
15 years 2 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
140
click to vote
EPIA
1999
Springer
15 years 6 months ago
1999
Springer
OPL is a modeling language for mathematical programming and combinatorial optimization problems. It is the first modeling language to combine high-level algebraic and set notation...
TAPSOFT
1997
Springer
15 years 6 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...