4328 search results - page 427 / 866 » A New Kind of Science |
195
click to vote
WCRE
1999
IEEE
15 years 11 months ago
1999
IEEE
In reengineering an object-oriented system we want to benefit from the expertise developed in earlier efforts. It is therefore essential to have a way to communicate expertise at ...
174
click to vote
ACSD
1998
IEEE
15 years 11 months ago
1998
IEEE
State coding conflict detection is a fundamental part of synthesis of asynchronous concurrent systems from their specifications as Signal Transition Graphs (STGs), which are a spe...
165
click to vote
AGP
1998
IEEE
15 years 11 months ago
1998
IEEE
The subject of groundness analysis for (constraint) logic programs has been widely studied, and interesting domains have been proposed. Pos has been recognized as the most suitabl...
142
click to vote
ICLP
1999
Springer
15 years 11 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
178
click to vote
DEXAW
1998
IEEE
15 years 11 months ago
1998
IEEE
Most of the work on coordination technology so far has focused on the development of special coordination languages and environments that provide the basic mechanisms for realizin...