Sciweavers

3394 search results - page 247 / 679
» Design patterns for semaphores
Sort
View
JCP
2008
142views more  JCP 2008»
15 years 6 months ago
Design and Verification of Loosely Coupled Inter-Organizational Workflows with Multi-Level Security
Inter-Organizational Workflows (IOWF) become important as they provide solution for data sharing, heterogeneity in resources and work coordination at global level. However, a secur...
Boleslaw Mikolajczak, Nirmal Gami
TVLSI
2008
151views more  TVLSI 2008»
15 years 6 months ago
Guest Editorial Special Section on Design Verification and Validation
ion levels. The framework also supports the generation of test constraints, which can be satisfied using a constraint solver to generate tests. A compositional verification approac...
I. Harris, D. Pradhan
IS
2010
15 years 1 months ago
Integrated polarization analyzing CMOS Image sensor for autonomus navigation using polarized light
Navigation is important both for insects to perform living tasks and robots to perform assigned tasks. We propose a CMOS image sensor for autonomous agent navigation which mimicks ...
Mukul Sarkar, David San Segundo Bello, Chris Van H...
MBEC
2010
122views Communications» more  MBEC 2010»
15 years 1 months ago
Real-time estimation of cerebrospinal fluid system parameters via oscillating pressure infusion
Abstract Hydrocephalus is related to a disturbed cerebrospinal fluid (CSF) system. For diagnosis, lumbar infusion test are performed to estimate outflow conductance, Cout, and pres...
Kennet Andersson, Ian R. Manchester, Jan Malm, And...
JAISE
2011
238views more  JAISE 2011»
15 years 1 months ago
A bio-inspired system model for interactive surveillance applications
Advances in computer vision and pattern recognition research are leading to video surveillance systems with improved scene analysis capabilities. However, up to now few works have ...
Alessio Dore, Matteo Pinasco, Lorenzo Ciardelli, C...