Sciweavers

1090 search results - page 135 / 218
» Case Study: Componentization of an Industrial Control System
Sort
View
IJRR
2002
64views more  IJRR 2002»
13 years 9 months ago
Translational and Rotational Maneuvers of an Underactuated Space Robot using Prismatic Actuators
We study the simultaneous control of three dimensional translation and rotation of an underactuated multibody space robot using sliding masses that are configured as ideal prismat...
Jinglai Shen, N. Harris McClamroch
IMC
2007
ACM
13 years 10 months ago
Understanding the limitations of transmit power control for indoor wlans
A wide range of transmit power control (TPC) algorithms have been proposed in recent literature to reduce interference and increase capacity in 802.11 wireless networks. However, ...
Vivek Shrivastava, Dheeraj Agrawal, Arunesh Mishra...
HICSS
2009
IEEE
111views Biometrics» more  HICSS 2009»
14 years 4 months ago
The Financial Impact of IT Governance Mechanisms' Adoption: An Empirical Analysis with Brazilian Firms
Recently, it appears on the agenda of many organizations the concept of IT governance in order to justify and mainly optimize IT investments. Some studies have shown that companie...
Guilherme Lerch Lunardi, João Luiz Becker, ...
SACMAT
2009
ACM
14 years 3 months ago
Symbolic reachability analysis for parameterized administrative role based access control
Role based access control (RBAC) is a widely used access control paradigm. In large organizations, the RBAC policy is managed by multiple administrators. An administrative role ba...
Scott D. Stoller, Ping Yang, Mikhail I. Gofman, C....
HASE
2008
IEEE
13 years 9 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri