Sciweavers

3134 search results - page 354 / 627
» Computing full disjunctions
Sort
View
121
Voted
CMSB
2003
Springer
15 years 6 months ago
An Overview of Data Models for the Analysis of Biochemical Pathways
Biochemical pathways such as metabolic, regulatory or signal tranduction pathways can be viewed as interconnected processes forming an intricate network of functional and physical...
Yves Deville, David Gilbert, Jacques van Helden, S...
137
Voted
ICSOC
2003
Springer
15 years 6 months ago
PANDA: Specifying Policies for Automated Negotiations of Service Contracts
Abstract. The Web and Grid services frameworks provide a promising infrastructure for cross-organizational use of online services. The use of services in large-scale and cross-orga...
Henner Gimpel, Heiko Ludwig, Asit Dan, Robert Kear...
DATE
2010
IEEE
155views Hardware» more  DATE 2010»
15 years 5 months ago
Scheduling and energy-distortion tradeoffs with operational refinement of image processing
— Ubiquitous image processing tasks (such as transform decompositions, filtering and motion estimation) do not currently provide graceful degradation when their clock-cycles budg...
Davide Anastasia, Yiannis Andreopoulos
99
Voted
EUROSYS
2010
ACM
15 years 5 months ago
NOVA: a microhypervisor-based secure virtualization architecture
The availability of virtualization features in modern CPUs has reinforced the trend of consolidating multiple guest operating systems on top of a hypervisor in order to improve pl...
Udo Steinberg, Bernhard Kauer
104
Voted
HICSS
2002
IEEE
106views Biometrics» more  HICSS 2002»
15 years 5 months ago
Optimal Electric Power Capacity Expansion in the Presence of Options
This paper studies optimal long-term electric power capacity strategies with capacity options. Gencos can sign contracts with Discos, where such contracts take the form of capacit...
D. J. Wu, Paul Kleindorfer, Yanjun Sun