Sciweavers

16606 search results - page 499 / 3322
» Context Modeling: Task Model and Practice Model
Sort
View
ASPDAC
2010
ACM
137views Hardware» more  ASPDAC 2010»
15 years 4 months ago
Managing verification error traces with bounded model debugging
Managing long verification error traces is one of the key challenges of automated debugging engines. Today, debuggers rely on the iterative logic array to model sequential behavior...
Sean Safarpour, Andreas G. Veneris, Farid N. Najm
ECEASST
2010
15 years 1 months ago
A Feature Model for an IDE4OCL
An Integrated OCL Development Environment (IDE4OCL) can significantly improve the pragmatics and practice of OCL. Therefore we started a comprehensive requirement analysis with the...
Joanna Dobroslawa Chimiak-Opoka, Birgit Demuth
BMEI
2008
IEEE
16 years 1 months ago
Reenginering Clinical Research Teams: An Organizational Modeling Approach
In this study, simulation models were developed to explore the effects of decentralization and interdependence on individuals working in research groups. We conducted the study by...
Elias Cesar Araujo De Carvalho, Jatin Shah, Anand ...
ECBS
2008
IEEE
86views Hardware» more  ECBS 2008»
16 years 1 months ago
A Formal Model for Network-Wide Security Analysis
Network designers perform challenging tasks with so many configuration options that it is often hard or even impossible for a human to predict all potentially dangerous situation...
Petr Matousek, Jaroslav Ráb, Ondrej Rysavy,...
ICRA
2006
IEEE
117views Robotics» more  ICRA 2006»
16 years 28 days ago
Novel Design and Modeling of a Mobile Parallel Manipulator
— A novel design of a mobile parallel manipulator (MPM), which is composed by a multi-degree of freedom (DOF) parallel robot and an autonomous wheeled mobile platform, is propose...
Yangmin Li, Qingsong Xu, Yugang Liu