7055 search results - page 222 / 1411 » Some New 4-Designs |
149
click to vote
GCC
2003
Springer
15 years 12 months ago
2003
Springer
Time constraint is a key problem in workflow management. Now, with the emergence of new technologies such as web service, grid, this problem has become more complicated in service-...
175
click to vote
DIGITALCITIES
2001
Springer
15 years 11 months ago
2001
Springer
This paper proposes a new style tool, a 3-D photo collage system, to manage new style of digital cities. This system allows ordinary people to create, publish, share and navigate p...
159
click to vote
IPPS
2000
IEEE
15 years 11 months ago
2000
IEEE
Parallel solution of irregular problems require solving the graph partitioning problem. The extended eigenproblem appears as the solution of some relaxed formulations of the graph ...
169
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
145
click to vote
MSS
2000
IEEE
15 years 11 months ago
2000
IEEE
This paper describes a new architecture for device drivers for tape drives attached to UNIX-like systems. The design goals are presented, some current architectures are measured a...