10072 search results - page 438 / 2015 » Composition of Model Programs |
169
click to vote
ENTCS
2007
15 years 6 months ago
2007
If a program does not fulfill a given specification, a model checker delivers a counterexample, a run which demonstrates the wrong behavior. Even with a counterexample, locating...
196
click to vote
NJC
2002
15 years 6 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...
159
click to vote
CLEIEJ
2010
15 years 4 months ago
2010
Holonic networks constitute a type of organizational structures widely used at manufacturing enterprises. In an educational context, however, this type of structures remains practi...
145
Voted
ANSS
2004
IEEE
15 years 10 months ago
2004
IEEE
A new object-oriented version of the SIMSCRIPT programming language is under development. Incorporating modules and object classes, the new language is designed for modular, objec...
132
click to vote
WSC
2004
15 years 8 months ago
2004
This paper describes the author's career leading up to the publication of his 1969 paper Digital Computer Simulation: Computer Programming Languages, how it influenced the pa...