5608 search results - page 1032 / 1122 » Structure description tools |
GCB
2004
Springer
15 years 3 months ago
2004
Springer
: Carbon Labeling Systems (CLS) are large equation systems that describe the dynamics of labeled carbon atoms in a metabolic network. The rapid solution of these systems is the alg...
ICCSA
2004
Springer
15 years 3 months ago
2004
Springer
We present a novel simulation tool to study fluid mixtures that are simultaneously chemically reacting and adsorbing within a molecularly porous material. The method is a combinat...
SPIN
2004
Springer
15 years 3 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
102
click to vote
WCRE
2003
IEEE
15 years 3 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Facilitation in GSS meetings is considered among the most important critical success factors for effective GSS application. A considerable amount of research on GSS facilitation h...