منابع مشابه
Revisiting Architectural Tactics for Security
Architectural tactics are design decisions intended to improve some system quality factor. Since their initial formulation, they have been formalized, compared with patterns and associated to styles. However, the initial set of tactics for security has only been refined once. We have examined the tactics set and classification from the viewpoint of security research, and concluded that some tac...
متن کاملLayered Connectors - Revisiting the Formal Basis of Architectural Connection for Complex Distributed Systems
The complex distributed systems of nowadays require the dynamic composition of multiple components, which are autonomous and so complex that they can be considered as systems in themselves. These components often use different application protocols and are implemented on top of heterogeneous middleware, which hamper their successful interaction. The explicit and rigorous description and analysi...
متن کاملAbstractions += Landmarks
ions += Landmarks Carmel Domshlak and Michael Katz and Sagi Lefler Faculty of Industrial Engineering and Management Technion—Israel Institute of Technology Haifa, Israel
متن کاملLandmarks Revisited
Landmarks for propositional planning tasks are variable assignments that must occur at some point in every solution plan. We propose a novel approach for using landmarks in planning by deriving a pseudo-heuristic and combining it with other heuristics in a search framework. The incorporation of landmark information is shown to improve success rates and solution qualities of a heuristic planner....
متن کاملDetermination of Landmarks and Reliability Criteria for Landmarks
The navigation task is a very demanding application for mobile users. The algorithms of present software solutions are based on the established methods of car navigation systems and thus exhibit some inherent disadvantages: findings in spatial cognition research have shown that human users need landmarks for an easy and successful wayfinding. Typically, however, an object is not a landmark per ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: E3S Web of Conferences
سال: 2019
ISSN: 2267-1242
DOI: 10.1051/e3sconf/201913503040