Sciweavers

2838 search results - page 300 / 568
» Verifying Controlled Components
Sort
View
TII
2008
169views more  TII 2008»
15 years 2 months ago
Fine-Tuning MAC-Level Protocols for Optimized Real-Time QoS
In distributed real-time systems, meeting the real-time constraints is mandatory but the satisfaction of other application-dependent criteria is most generally required as well. I...
Mathieu Grenier, Nicolas Navet
128
Voted
CAD
2002
Springer
15 years 2 months ago
Free-form design using axial curve-pairs
Deformation of 3D shapes usually requires the use of a deformation tool. The freeform deformation technique requires the use of a lattice of control point for deforming an object....
K. C. Hui
104
Voted
JOCN
2010
111views more  JOCN 2010»
15 years 1 months ago
Coordinated Roles of Motivation and Perception in the Regulation of Intergroup Responses: Frontal Cortical Asymmetry Effects on
■ Self-regulation is believed to involve changes in motivation and perception that function to promote goal-driven behavior. However, little is known about the way these process...
David M. Amodio
ICSE
2005
IEEE-ACM
16 years 2 months ago
Verification and change-impact analysis of access-control policies
Sensitive data are increasingly available on-line through the Web and other distributed protocols. This heightens the need to carefully control access to data. Control means not o...
Kathi Fisler, Shriram Krishnamurthi, Leo A. Meyero...
IROS
2006
IEEE
163views Robotics» more  IROS 2006»
15 years 8 months ago
Robotic On-Orbit Servicing - DLR's Experience and Perspective
The increasing number of launched satellites per year, calls for solutions to keep free operational space for telecommunication systems in geo-synchronized orbit, as well as to av...
Klaus Landzettel, Carsten Preusche, Alin Albu-Sch&...