10055 search results - page 71 / 2011 » Structured programming using processes |
140
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
141
click to vote
IJCAI
2007
15 years 5 months ago
2007
We present a fully connectionist system for the learning of first-order logic programs and the generation of corresponding models: Given a program and a set of training examples,...
123
click to vote
DSE
1998
15 years 3 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
129
click to vote
TIP
2008
15 years 3 months ago
2008
Structured light vision systems have been successfully used for accurate measurement of 3-D surfaces in computer vision. However, their applications are mainly limited to scanning ...
137
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...