Sciweavers

4480 search results - page 90 / 896
» Prototyping Completion with Constraints Using Computational ...
Sort
View
POLICY
2005
Springer
15 years 11 months ago
Obligation Policies: An Enforcement Platform
The use of policy-based mechanisms significantly reduces the complexity associated with applicational development and operation. In particular, history-based policies allow the s...
Pedro Gama, Paulo Ferreira
DEDS
2010
157views more  DEDS 2010»
15 years 3 months ago
On-line Optimal Control of a Class of Discrete Event Systems with Real-Time Constraints
We consider Discrete Event Systems (DES) involving tasks with real-time constraints and seek to control processing times so as to minimize a cost function subject to each task mee...
Jianfeng Mao, Christos G. Cassandras
MOZ
2004
Springer
15 years 11 months ago
A Mozart Implementation of CP(BioNet)
The analysis of biochemical networks consists in studying the interactions between biological entities cooperating in complex cellular processes. To facilitate the expression of an...
Grégoire Dooms, Yves Deville, Pierre Dupont
FCCM
2007
IEEE
122views VLSI» more  FCCM 2007»
15 years 10 months ago
Reconfigurable Computing Cluster (RCC) Project: Investigating the Feasibility of FPGA-Based Petascale Computing
While medium- and large-sized computing centers have increasingly relied on clusters of commodity PC hardware to provide cost-effective capacity and capability, it is not clear th...
Ron Sass, William V. Kritikos, Andrew G. Schmidt, ...
SAC
2006
ACM
16 years 4 days ago
Looking for monotonicity properties of a similarity constraint on sequences
Constraint-based mining techniques on sequence databases have been studied extensively the last few years and efficient algorithms enable to compute complete collections of patte...
Ieva Mitasiunaite, Jean-François Boulicaut