Sciweavers

1928 search results - page 310 / 386
» Integrity Constraints in OWL
Sort
View
CDC
2009
IEEE
133views Control Systems» more  CDC 2009»
14 years 2 months ago
A symbolic model approach to the digital control of nonlinear time-delay systems
— In this paper we propose an approach to control design of nonlinear time–delay systems, which is based on the construction of symbolic models, where each symbolic state and e...
Giordano Pola, Pierdomenico Pepe, Maria Domenica D...
ISLPED
2009
ACM
108views Hardware» more  ISLPED 2009»
14 years 2 months ago
Technology flavor selection and adaptive techniques for timing-constrained 45nm subthreshold circuits
We investigate techniques to design 45nm minimum-energy subthreshold CMOS circuits under timing constraints, considering the practical case of an 8-bit multiplier. We first show ...
David Bol, Denis Flandre, Jean-Didier Legat
SAC
2009
ACM
14 years 2 months ago
Towards developing a trust-based security solution
Wireless sensor network has emerged as a new information and data gathering paradigm based on the collaborative efforts of a large number of autonomous sensing devices. With small...
Sheikh Iqbal Ahamed, Donghyun Kim, Chowdhury Shari...
ADAEUROPE
2001
Springer
14 years 2 months ago
Building Formal Requirements Models for Reliable Software
Requirements engineering (RE) is concerned with the elicitation of the goals to be achieved by the system envisioned, the operationalization of such goals into specifications of se...
Axel van Lamsweerde
AIME
2001
Springer
14 years 2 months ago
Dynamic Adaptation of Cooperative Agents for MRI Brain Scans Segmentation
To cope with the difficulty of MRI brain scans automatic segmentation, we need to constrain and control the selection and the adjustment of processing tools depending on the local ...
Nathalie Richard, Michel Dojat, Catherine Garbay