7961 search results - page 160 / 1593 » Input-Output Model Programs |
133
click to vote
CLUSTER
2000
IEEE
15 years 7 months ago
2000
IEEE
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
113
click to vote
ENTCS
2007
15 years 3 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...
137
click to vote
NJC
2002
15 years 2 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...
111
click to vote
CLEIEJ
2010
15 years 20 days 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...
100
click to vote
ANSS
2004
IEEE
15 years 7 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...