5510 search results - page 900 / 1102 » Mathematics |
148
click to vote
SIGMOD
2002
ACM
15 years 4 months ago
2002
ACM
Workflow management systems (WFMS) that are geared for the orchestration of business processes across multiple organizations are complex distributed systems: they consist of multi...
123
click to vote
TODAES
1998
15 years 4 months ago
1998
Abstract State Machines (ASMs) provide a sound mathematical basis for the specification and verification of systems. An application of the ASM methodology to the verification of a ...
132
click to vote
TPDS
1998
15 years 4 months ago
1998
—The way the processes in a parallel program are scheduled on the processors of a multiprocessor system affects the performance significantly. Finding a schedule of processes to ...
149
click to vote
TVCG
1998
15 years 4 months ago
1998
—Recently, multiresolution visualization methods have become an indispensable ingredient of real-time interactive postprocessing. The enormous databases, typically coming along w...
131
click to vote
TCS
2002
15 years 4 months ago
2002
The new Associative Language Description (ALD) model, a combination of locally testable and constituent structure ideas, is proposed, arguing that in practice it equals context-fr...