10038 search results - page 1581 / 2008 » Model Checking for Managers |
151
click to vote
IEEEARES
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper we present a mixed qualitative and quantitative approach for evaluation of Information Technology (IT) security investments. For this purpose, we model security scen...
179
click to vote
ROBIO
2006
IEEE
16 years 22 days ago
2006
IEEE
– In this paper, a model-based impedance control strategy is developed for a 3 DOF parallel manipulator to manage the interaction of the robot with the environment. Kinematic and...
165
click to vote
SMI
2006
IEEE
16 years 22 days ago
2006
IEEE
In this paper, we propose a constrained least squares approach for stably computing Laplacian deformation with strict positional constraints. In the existing work on Laplacian def...
170
click to vote
WECWIS
2006
IEEE
16 years 22 days ago
2006
IEEE
E-contracts are used to describe the supply and the consumption details of e-services within a business process. The establishment of e-contracts in a given application domain usu...
170
click to vote
ASPDAC
2006
ACM
16 years 21 days ago
2006
ACM
- Power consumption is one of the major challenges in VLSI Design. Power constrained designs need tools to accurately predict the power consumption and provide feedback to designer...