Sciweavers

1124 search results - page 204 / 225
» Refined quorum systems
Sort
View
DAGSTUHL
2007
15 years 1 months ago
Model-Driven Development for End-Users, too!?
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
Gregor Engels
BMCBI
2008
153views more  BMCBI 2008»
14 years 12 months ago
Estimating the size of the solution space of metabolic networks
Background: Cellular metabolism is one of the most investigated system of biological interactions. While the topological nature of individual reactions and pathways in the network...
Alfredo Braunstein, Roberto Mulet, Andrea Pagnani
CLEIEJ
2002
192views more  CLEIEJ 2002»
14 years 11 months ago
Automatic ObjectPascal Code Generation from Catalysis Specifications
This paper presents a Component-based Framework Development Process, of the Cardiology Domain. The Framework, called FrameCardio, was developed in 4 steps: 1Problem Domain Definit...
João Luís Cardoso de Moraes, Ant&oci...
TOG
2002
153views more  TOG 2002»
14 years 11 months ago
Interactive global illumination in dynamic scenes
In this paper, we present a system for interactive computation of global illumination in dynamic scenes. Our system uses a novel scheme for caching the results of a high quality p...
Parag Tole, Fabio Pellacini, Bruce Walter, Donald ...
WWW
2006
ACM
16 years 14 days ago
Supporting online problem-solving communities with the semantic web
The Web plays a critical role in hosting Web communities, their content and interactions. A prime example is the open source software (OSS) community, whose members, including sof...
Anupriya Ankolekar, Katia P. Sycara, James D. Herb...