21490 search results - page 3897 / 4298 » Business Process Modeling |
140
click to vote
SSDBM
1998
IEEE
15 years 9 months ago
1998
IEEE
In several working environments, production involves repeated executions of certain procedures. A workflow describes the individual tasks performed in these procedures and their i...
136
click to vote
SIGSOFT
1998
ACM
15 years 9 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...
156
click to vote
FTRTFT
1998
Springer
15 years 9 months ago
1998
Springer
PLC-Automata are a class of real-time automata suitable to describe the behavior of polling real-time systems. PLC-Automata can be compiled to source code for PLCs, a hardware wide...
145
click to vote
GI
1998
Springer
15 years 9 months ago
1998
Springer
The IMB Jena Image Library of Biological Macromolecules (http://www.imb-jena.de/IMAGE.html) is a freely accessible Internet archive with three-dimensional (3D) structural informat...
112
click to vote
ICALP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. We consider systems of finite automata performing together computation on an input string. Each automaton has its own read head that moves independently of the other head...