Sciweavers

2555 search results - page 96 / 511
» Putting complex systems to work
Sort
View
AC
2002
Springer
15 years 5 months ago
Empirical Studies of Quality Models in Object-Oriented Systems
Measuring structural design properties of a software system, such as coupling, cohesion, or complexity, is a promising approach towards early quality assessments. To use such meas...
Lionel C. Briand, Jürgen Wüst
MVA
2000
161views Computer Vision» more  MVA 2000»
15 years 6 months ago
Vision Based Global Navigation System for Autonomous Urban Transport Vehicles in Outdoor Partially Known Environments
This paper describes a vision-based system for autonomous urban transport missions in outdoor environments. Specialized modules are implemented for particular tasks such as lane t...
Miguel Ángel Sotelo Vázquez, Luis Ma...
CSL
2006
Springer
15 years 9 months ago
Verification of Ptime Reducibility for System F Terms Via Dual Light Affine Logic
In a previous work we introduced Dual Light Affine Logic (DLAL) ([BT04]) as a variant of Light Linear Logic suitable for guaranteeing complexity properties on lambda-calculus terms...
Vincent Atassi, Patrick Baillot, Kazushige Terui
HCI
2007
15 years 6 months ago
A Closed-Loop Adaptive System for Command and Control
On Navy ships, technological developments enable crews to work more efficiently and effectively. However, in such complex, autonomous, and information-rich environments a competiti...
Tjerk de Greef, Henryk Arciszewski
XMLSEC
2003
ACM
15 years 10 months ago
First experiences using XACML for access control in distributed systems
Authorization systems today are increasingly complex. They span domains of administration, rely on many different authentication sources, and manage permissions that can be as com...
Markus Lorch, Seth Proctor, Rebekah Lepro, Dennis ...