10055 search results - page 487 / 2011 » Structured programming using processes |
154
click to vote
LICS
1992
IEEE
15 years 11 months ago
1992
IEEE
The aim of this paper is to find the finest `observable' and `implementable' equivalence on concurrent processes. This is a part of a larger programme to develop a theor...
157
click to vote
IJCAI
1997
15 years 8 months ago
1997
We have been developing Name-It, a system that associates faces and names in news videos. First, as the only knowledge source, the system is given news videos which include image ...
183
click to vote
BPM
2005
Springer
16 years 13 days ago
2005
Springer
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been expl...
182
click to vote
ECIS
2000
15 years 8 months ago
2000
Nowadays, almost all public administration plan to establish processes with electronic signatures. For such processes, there are no standardized system models with test cases. We a...
253
click to vote
ISEMANTICS
2010
15 years 5 months ago
2010
The Web has evolved from a global information space of linked documents to a web of linked data. The Web of Data enables answering complex, structured queries that could not be an...