6762 search results - page 726 / 1353 » Multiple drafts model |
171
click to vote
IDMS
1998
Springer
15 years 11 months ago
1998
Springer
This position paper advocates a possible bridging of multiple heterogeneous formats and interfaces for hypermedia data and metadata. Rather than one more text, bit-stream or proced...
175
click to vote
HPDC
1996
IEEE
15 years 11 months ago
1996
IEEE
A universal spatial automaton, called WAVE, for highly parallel processing in arbitrary distributed systems is described. The automaton is based on a virus principle where recursi...
232
click to vote
ICS
1992
Tsinghua U.
15 years 11 months ago
1992
Tsinghua U.
Previous research has used program transformation to introduce parallelism and to exploit data locality. Unfortunately,these twoobjectives have usuallybeen considered independentl...
190
click to vote
HVC
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Despite many advances, today's software model checkers and extended static checkers still do not scale well to large code bases, when verifying properties that depen...
158
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. We propose a meta-meta framework architecture for supporting the behavior based integration of two business processes. The meta-meta level provides basic integration oper...