Sciweavers

1816 search results - page 197 / 364
» Formal Concepts of Learning Systems Validation in Use
Sort
View
IFM
2010
Springer
142views Formal Methods» more  IFM 2010»
15 years 5 months ago
An Event-B Approach to Data Sharing Agreements
A Data Sharing Agreement (DSA) is a contract among two or more principals regulating how they share data. Agreements are usually represented as a set of clauses expressed using the...
Alvaro E. Arenas, Benjamin Aziz, Juan Bicarregui, ...
ARTMED
2006
86views more  ARTMED 2006»
15 years 6 months ago
Multiple hierarchical classification of free-text clinical guidelines
Manual classification of free-text documents within a predefined hierarchy is highly time consuming. This is especially true for clinical guidelines, which are often indexed by mu...
Robert Moskovitch, Shiva Cohen-Kashi, Uzi Dror, If...
DAC
2007
ACM
16 years 7 months ago
Global Critical Path: A Tool for System-Level Timing Analysis
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
Girish Venkataramani, Mihai Budiu, Tiberiu Chelcea...
ECRTS
2006
IEEE
16 years 15 days ago
Sensitivity Analysis for Fixed-Priority Real-Time Systems
At early stages in the design of real-time embedded applications, the timing attributes of the computational activities are often incompletely specified or subject to changes. Lat...
Enrico Bini, Marco Di Natale, Giorgio C. Buttazzo
AHS
2006
IEEE
119views Hardware» more  AHS 2006»
16 years 16 days ago
Particle Swarm Optimization with Discrete Recombination: An Online Optimizer for Evolvable Hardware
Self-reconfigurable adaptive systems have the possibility of adapting their own hardware configuration. This feature provides enhanced performance and flexibility, reflected i...
Jorge Peña, Andres Upegui, Eduardo Sanchez