Sciweavers

178 search results - page 14 / 36
» Balance in Systems of Finite Sets with Applications
Sort
View
IJCAI
1993
14 years 11 months ago
A New Logical framework for Deductive Planning
objects, like elements of (abstract) data types in ordinary programming languages In the theory of abstract data types most often one only considers algebraic structures where all ...
Werner Stephan, Susanne Biundo
TPDS
2010
166views more  TPDS 2010»
14 years 4 months ago
Configurable Middleware for Distributed Real-Time Systems with Aperiodic and Periodic Tasks
Different distributed real-time systems (DRS) must handle aperiodic and periodic events under diverse sets of requirements. While existing middleware such as Real-Time CORBA has sh...
Yuanfang Zhang, Christopher D. Gill, Chenyang Lu
WWW
2007
ACM
15 years 10 months ago
A scalable application placement controller for enterprise data centers
Given a set of machines and a set of Web applications with dynamically changing demands, an online application placement controller decides how many instances to run for each appl...
Chunqiang Tang, Malgorzata Steinder, Mike Spreitze...
ADAEUROPE
2001
Springer
15 years 2 months ago
Testing from Formal Specifications, a Generic Approach
Deriving test cases from specifications is now recognised as a major application of formal methods to software development. Several methods have been proposed for various formalism...
Marie-Claude Gaudel
BMCBI
2005
140views more  BMCBI 2005»
14 years 9 months ago
Dissecting systems-wide data using mixture models: application to identify affected cellular processes
Background: Functional analysis of data from genome-scale experiments, such as microarrays, requires an extensive selection of differentially expressed genes. Under many condition...
J. Peter Svensson, Renée X. de Menezes, Ing...