7986 search results - page 187 / 1598 » Computational Science and its Applications |
124
click to vote
CAD
2004
Springer
15 years 6 months ago
2004
Springer
A computer modeling approach for constructing a three-dimensional microsphere-packed bone graft structure is presented. The modeling approach consists of both geometric and CAD-ba...
189
click to vote
GI
2005
Springer
16 years 17 hour ago
2005
Springer
: Intrusion tolerance is a recent approach to deal with intentional and malicious failures. It combines the research on fault tolerance with the research on security, and relies on...
177
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. In this paper we propose a distributed algorithm for modelchecking LTL. In particular, we explore the possibility of performing nested depth-first search algorithm in di...
258
click to vote
FOCS
2000
IEEE
15 years 11 months ago
2000
IEEE
A bisection of a graph with n vertices is a partition of its vertices into two sets, each of size n/2. The bisection cost is the number of edges connecting the two sets. The proble...
211
click to vote
ERSHOV
1999
Springer
15 years 10 months ago
1999
Springer
We introduce an object-oriented design pattern called Twin that allows us to model multiple inheritance in programming languages that do not support this feature (e.g. Java, Modula...